Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. 1.

Bok · Engelsk · 2002

Annen tittel	Logic Programming and Beyond
Utgitt	Berlin : Springer , c2002
Omfang	XII, 675 s.
Emner	Automatic theorem proving Logic programming Logic programming languages Bevisføring (Matematikk) - Databehandling Vis mer... Computer Science Engineering & Applied Sciences Logikkprogrammering Logikkprogrammering((NO-TrBIB)REAL009516)
Dewey	005.1/15
ISBN	3540439595