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

(Visualizza in formato marc) (Visualizza in BIBFRAME)

Titolo:	Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed
Pubblicazione:	Springer Berlin / Heidelberg
Disciplina:	006.3/33
Soggetto topico:	Automatic theorem proving - Congresses
	Logic, Symbolic and mathematical - Congresses
Altri autori:	McCuneWilliam
Titolo autorizzato:	Automated deduction, CADE-14
Formato:	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione:	Inglese
Record Nr.:	996465556603316
Lo trovi qui:	Univ. di Salerno
Opac:	Controlla la disponibilità qui

Documenti simili

Case-Based Reasoning Research and Development [[electronic resource] ] : Second International Conference on Case-Based Reasoning, ICCBR-97 Providence, RI, USA, July 25-27, 1997 Proceedings / / edited by David B. Leake, Enric Plaza
Recent Advances in AI Planning [[electronic resource] ] : 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings / / edited by Sam Steel, Rachid Alami
The Automation of Reasoning with Incomplete Information [[electronic resource] ] : From Semantic Foundations to Efficient Computation / / by Torsten Schaub Schaub Torsten
Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach
Case-Based Reasoning Research and Development [[electronic resource] ] : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings / / edited by Kevin D. Ashley, Derek Bridge

Case-Based Reasoning Research and Development [[electronic resource] ] : Second International Conference on Case-Based Reasoning, ICCBR-97 Providence, RI, USA, July 25-27, 1997 Proceedings / / edited by David B. Leake, Enric Plaza

Recent Advances in AI Planning [[electronic resource] ] : 4th European Conference on Planning, ECP'97, Toulouse, France, September 24 - 26, 1997, Proceedings / / edited by Sam Steel, Rachid Alami

The Automation of Reasoning with Incomplete Information [[electronic resource] ] : From Semantic Foundations to Efficient Computation / / by Torsten Schaub
Schaub Torsten

Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach

Case-Based Reasoning Research and Development [[electronic resource] ] : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings / / edited by Kevin D. Ashley, Derek Bridge

1 2 3 4 > >>