Automated theorem proving : a local basis / Donald W. Loveland
Autor
Loveland, Donald W.
Nakladnik
Amsterdam; New York; Oxford : North-Holland Publishing Company, 1978
Materijalni opis
xii, 405 str. : ilustr. ; 23 cm
Nakladnički niz
Fundamental studies in computer science ; Vol. 6
Napomena
Bibliografija: str.[395]-399.
 
Kazalo.
Jezik
engleski
Građa
Knjigaknjiga

LOVELAND, Donald W.
Automated theorem proving : a local basis / Donald W. Loveland. - Amsterdam; New York; Oxford : North-Holland Publishing Company, 1978. - xii, 405 str. : ilustr. ; 23 cm. - (Fundamental studies in computer science ; Vol. 6)
Bibliografija: str.[395]-399. - Kazalo.

Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2020. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.