|
Automatic theorem proving -- Congresses
|
|
1982
Conference on Automated Deduction (6th : 1982 : New York, N.Y.)
Rating:
|
1984
International Conference on Automated Deduction (7th : 1984 : Napa, Calif.)
Rating:
|
1986
International Conference on Automated Deduction (8th : 1986 : Oxford, England)
Rating:
|
1988
International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)
Rating:
|
2009
ADT 2009 (2009 : Venice, Italy)
Rating:
|
2011
ADT (Conference) (2nd : 2011 : Piscataway, N.J.)
Rating:
|
1992
International Conference on Automated Deduction (11th : 1992 : Saratoga Springs, N.Y.)
Berlin ; New York : Springer-Verlag, ©1992
Rating:
|
2005
International Conference on Automated Deduction (20th : 2005 : Tallinn, Estonia)
Rating:
|
2007
International Conference on Automated Deduction (21st : 2007 : Bremen, Germany)
Rating:
|
2009
International Conference on Automated Deduction (22nd : 2009 : Montreal, Québec)
Rating:
|
2011
International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland)
Rating:
|
2013
International Conference on Automated Deduction (24th : 2013 : Lake Placid, N.Y.)
Rating:
|
2015
International Conference on Automated Deduction (25th : 2015 : Berlin, Germany)
Cham : Springer, [2015]
Rating:
|
2017
International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)
Cham, Switzerland : Springer, 2017
Rating:
|
2019
International Conference on Automated Deduction (27th : 2019 : Natal, Brazil)
Cham : Springer, [2019]
Rating:
|
2021
International Conference on Automated Deduction (28th : 2021 : Online)
Cham, Switzerland : Springer, [2021]
Rating:
|
2023
International Conference on Automated Deduction (29th : 2023 : Rome, Italy)
Cham, Switzerland : Springer, 2023
Rating:
|
2006
International Workshop on Automated Deduction in Geometry (5th : 2004 : Gainesville, Fla.)
Rating:
|
2007
International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain)
Rating:
|
2011
International Workshop on Automated Deduction in Geometry (7th : 2008 : Shanghai, China)
Rating:
|
2011
International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany)
Rating:
|
2013
International Workshop on Automated Deduction in Geometry (9th : 2012 : Edinburgh, Scotland)
Heidelberg : Springer, 2013
Rating:
|
2015
International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal)
Cham : Springer, 2015
Rating:
|
2010
IJCAR (Conference) (5th : 2010 : Edinburgh, Scotland)
Rating:
|
2012
IJCAR (Conference) (6th : 2012 : Manchester, England)
Rating:
|
2014
IJCAR (Conference) (7th : 2014 : Vienna, Austria)
Cham : Springer, 2014
Rating:
|
2016
IJCAR (Conference) (8th : 2016 : Coimbra, Portugal)
Switzerland : Springer, 2016
Rating:
|
2018
IJCAR (Conference) (9th : 2018 : Oxford, England)
Cham, Switzerland : Springer, 2018
Rating:
|
2020
IJCAR (Conference) (10th : 2020 : Online)
Rating:
|
2020
IJCAR (Conference) (10th : 2020 : Online)
Rating:
|
2022
IJCAR (Conference) (11th : 2022 : Haifa, Israel)
Cham, Switzerland : Springer, 2022
Rating:
|
2008
IJCAR (Conference) (4th : 2008 : Sydney, N.S.W.)
Rating:
|
2006
IJCAR (Conference) (3rd : 2006 : Seattle, Wash.)
Rating:
|
2009
TABLEAUX 2009 (2009 : Oslo, Norway)
Rating:
|
2011
TABLEAUX 2011 (2011 : Bern, Switzerland)
Rating:
|
2013
TABLEAUX (Conference) (22nd : 2013 : Nancy, France)
Heidelberg : Springer, 2013
Rating:
|
2015
TABLEAUX (Conference) (24th : 2015 : Wrocław, Poland)
Cham : Springer, 2015
Rating:
|
2017
TABLEAUX (Conference) (26th : 2017 : Brasília, Distrito Federal, Brazil)
Cham, Switzerland : Springer, 2017
Rating:
|
2019
TABLEAUX (Conference) (28th : 2019 : London, England)
Cham : Springer, [2019]
Rating:
|
2021
TABLEAUX (Conference) (30th : 2021 : Birmingham, England ; Online)
Cham : Springer, [2021]
Rating:
|
2023
TABLEAUX (Conference) (32nd : 2023 : Prague, Czech Republic)
Cham : Springer, 2023
Rating:
|
2005
TABLEAUX 2005 (2005 : Koblenz, Germany)
Rating:
|
2007
TABLEAUX 2007 (2007 : Aix en Provence, France)
Rating:
|
2006
ATVA (Symposium) (4th : 2006 : Beijing, China)
Rating:
|
2007
ATVA (Symposium) (5th : 2007 : Tokyo, Japan)
Rating:
|
2008
ATVA (Symposium) (6th : 2008 : Seoul, Korea)
Rating:
|
2009
ATVA (Symposium) (7th : 2009 : Macau, China)
Rating:
|
2010
ATVA (Symposium) (8th : 2010 : Singapore)
Rating:
|
2011
ATVA (Symposium) (9th : 2011 : Taipei, Taiwan)
Rating:
|
Add Marked to Bag
Add All On Page
|
|