Limit search to available items
Result Page   
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-50 of 71)
Automatic theorem proving -- Congresses
2
E-book
1982

6th Conference on Automated Deduction : New York, USA, June 7-9, 1982


Conference on Automated Deduction (6th : 1982 : New York, N.Y.)



Rating:

 
3
E-book
1984

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings


International Conference on Automated Deduction (7th : 1984 : Napa, Calif.)



Rating:

 
4
E-book
1986

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings


International Conference on Automated Deduction (8th : 1986 : Oxford, England)



Rating:

 
5
E-book
1988

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings


International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)



Rating:

 
8
E-book
1992

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings


International Conference on Automated Deduction (11th : 1992 : Saratoga Springs, N.Y.)

Berlin ; New York : Springer-Verlag, ©1992

Rating:

 
11
14
E-book
2015

Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings


International Conference on Automated Deduction (25th : 2015 : Berlin, Germany)

Cham : Springer, [2015]

Rating:

 
15
E-book
2017

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings


International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)

Cham, Switzerland : Springer, 2017

Rating:

 
16
E-book
2019

Automated deduction -- CADE 27 : 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings


International Conference on Automated Deduction (27th : 2019 : Natal, Brazil)

Cham : Springer, [2019]

Rating:

 
17
E-book
2021

Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings


International Conference on Automated Deduction (28th : 2021 : Online)

Cham, Switzerland : Springer, [2021]

Rating:

 
18
E-book
2023

Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings


International Conference on Automated Deduction (29th : 2023 : Rome, Italy)

Cham, Switzerland : Springer, 2023

Rating:

 
19
E-book
2006

Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers


International Workshop on Automated Deduction in Geometry (5th : 2004 : Gainesville, Fla.)



Rating:

 
20
E-book
2007

Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers


International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain)



Rating:

 
21
E-book
2011

Automated deduction in geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers


International Workshop on Automated Deduction in Geometry (7th : 2008 : Shanghai, China)



Rating:

 
22
E-book
2011

Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers


International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany)



Rating:

 
23
E-book
2013

Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers


International Workshop on Automated Deduction in Geometry (9th : 2012 : Edinburgh, Scotland)

Heidelberg : Springer, 2013

Rating:

 
24
E-book
2015

Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers


International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal)

Cham : Springer, 2015

Rating:

 
28
E-book
2016

Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings


IJCAR (Conference) (8th : 2016 : Coimbra, Portugal)

Switzerland : Springer, 2016

Rating:

 
32
E-book
2022

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings


IJCAR (Conference) (11th : 2022 : Haifa, Israel)

Cham, Switzerland : Springer, 2022

Rating:

 
39
E-book
2017

Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings


TABLEAUX (Conference) (26th : 2017 : Brasília, Distrito Federal, Brazil)

Cham, Switzerland : Springer, 2017

Rating:

 
Add Marked to Bag Add All On Page
Locate in results
Result Page