Your search returned 8 results from 132353 records.

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / edited by R. E. Shostak by

Series: Lecture notes in computer science ; no. 170

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1984

Other title:

Automated deduction

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 I57 1984.

8th International Conference on Automated Deduction, Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jorg H. Siekmann by

Series: Lecture notes in computer science ; no. 230

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1986

Other title:

CADE-8
Automated deduction

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 I57 1986.

9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk and R. Overbeek by

Series: Lecture notes in computer science ; no. 310

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1988

Other title:

Automated deduction

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 I57 1988.

Image from Amazon.com

10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M. E. Stickel, ed. by

Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; no. 449

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1990

Other title:

Automated deduction

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 I57 1990.

Image from Amazon.com

Automated deduction-CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, N.Y., USA, June 15-18, 1992 : proceedings / D. Kapur, ed. by

Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; no. 607

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1992

Other title:

CADE-11

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 I57 1992.

Image from Amazon.com

Automated deduction-CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings / Alan Bundy, ed. by

Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; no. 814

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1994

Other title:

CADE-12

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 I57 1994.

Image from Amazon.com

Automated deduction-CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M. A. McRobbie and J. K. Slaney, eds. by

Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; no. 1104

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1996

Other title:

CADE-13

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 I57 1996.

Image from Amazon.com

Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune, ed. by

Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; no. 1249

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer, 1997

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA76.9 A96 I57 1997.

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 8 results from 132353 records.

AIT

Asian Institute of Technology Library