Logic and programming in logic

Ramin Yasdi ; translated by Chris. Bowerman
Bok · Engelsk · 1997

Utgitt	Hove, East Sussex : Immediate Publ. , c1997
Omfang	279 s.
Emner	Logikk Logikkprogrammering Negasjon Predikatlogikk Vis mer... Programmering Prolog Utsagnslogikk
ISBN	189893102X