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

Bok · Engelsk · 2002

Utgitt	Berlin : Springer , c2002
Omfang	XII, 628 s.
Emner	Automatic theorem proving Logic programming Logic programming languages Bevisføring (Matematikk) - Databehandling Vis mer... Logikkprogrammering Logikkprogrammering((NO-TrBIB)REAL009516)
ISBN	3540439609