Computing in Horn clause theories

Peter Padawitz
Bok · Engelsk · 1988

Utgitt	Berlin : Springer , c1988
Omfang	XI, 322 s.
Emner	Horn clauses. Logic programming. Horn-logikk Logikkprogrammering Vis mer... Matematisk logikk Optimalisering Optimering : (NO-TrBIB)REAL006138 Parallellitet Prototyper Prototyping : (NO-TrBIB)REAL006675 Semantikk Verifikasjon
ISBN	0387194274. - 3540194274