Pregledni zapisi
Tražili ste autor: Loveland, Donald W.
1 rezultata
1
Automated theorem proving : a local basis / Donald W. Loveland
Loveland, Donald W.  
Amsterdam; New York; Oxford : North-Holland Publishing Company, 1978
Knjiga knjiga
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.