Logic Programming and Automated Reasoning International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Logic Programming and Automated Reasoning International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / edited by Andrei Voronkov.

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem provi...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Ente Autore: SpringerLink (Online service)
Altri autori: Voronkov, Andrei (Redattore)
Natura: eBook
Lingua:English
Pubblicazione: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992.
Edizione:1st ed. 1992.
Serie:Lecture Notes in Artificial Intelligence ; 624
Springer eBook Collection.
Soggetti:
Artificial intelligence.
Mathematical logic.
Electronic resources (E-books)
Accesso online:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Entra per informazioni su prenotazioni e richieste

Accesso online

Click to view e-book

Online

Dettagli sul posseduto da Online
Collocazione: E-Book
Copy 1 Disponibile

Documenti analoghi