Automated reasoning : introduction and applications

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Englewood Cliffs, N.J. : Prentice-Hall , c1984
Omfang	xiv, 482 s. : ill.
Emner	Artificial intelligence. Automatic theorem proving. Electronic digital computers - Programming. kunstig intelligens prolog ekspert system ekspertsystemerprogrammeringsspråk
ISBN	0130544469. - 0130544531

Biblioteksøk