2024-03-29T00:50:57Z
http://library.foi.hr/oai/404/oai.php
10528
2019-02-28T11:00:01Z
MON
00000nam a2200000uu 4500
20190228120001.0
060309s1996 ci 000 u eng d
0127634207
HR-MetelhrvHR-Metelppiak
eng
007.52
Wos, Larry
The automation of reasoning an experimenter’s notebook with OTTER tutorialLarry Wos. -
San Diego :Academic,1996.
XIV, 434 str. :24 cm.
OTTER
Programiranje
Teorem-automatsko dokazivanje
Umjetna inteligencija
http://library.foi.hr/lib/knjiga.php?B=404&item=10528