Automated Deduction - CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings / edited by Deepak Kapur.

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	SpringerLink (Online service)
Drugi avtorji:	Kapur, Deepak (Editor)
Format:	eKnjiga
Jezik:	English
Izdano:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992.
Izdaja:	1st ed. 1992.
Serija:	Lecture Notes in Artificial Intelligence ; 607 Springer eBook Collection.
Teme:	Artificial intelligence. Mathematical logic. Electronic resources (E-books)
Online dostop:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Click to view e-book

Podrobnosti zaloge Online
Signatura:	E-Book
Copy 1	Prosto

Podobne knjige/članki