Termination proofs for logic programs

Lutz Plümer
Bok · Engelsk · 1990

Utgitt	Berlin : Springer , c1990
Omfang	VIII, 142 s. : ill.
Emner	Artificial intelligence Logic programming Bevisføring - Ekspertsystemer Logikkprogrammering : (NO-TrBIB)REAL009516 Vis mer... Logiske programmer Matematisk logikk - Databehandling Programanalyse : (NO-TrBIB)REAL001632 Programmeringsteori Semantikk Terminering - (Matematikk)
ISBN	0387528377. - 3540528377