Vai al contenuto principale della pagina

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 Visualizza cluster
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  Visualizza cluster
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
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
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
Types for Proofs and Programs [[electronic resource] ] : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers / / edited by Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
The Automation of Reasoning with Incomplete Information [[electronic resource] ] : From Semantic Foundations to Efficient Computation / / by Torsten Schaub
Schaub Torsten