Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Dezember 1991
Genre:	EDV / Informatik
	BeschränkteQuantoren / Calculus / DeductionandTheoremProving / DeduktionundBeweisen / extension / Intelligenz / Künstliche Intelligenz / KI / knowledgerepresentation / Künstliche Intelligenz (KI) / Künstliche Intelligenz - AI / Logic / logicprogramming / LogischesProgrammieren / mathematicallogic / mathematischeLogik / Resolution / RestrictedQuantifiers / Sets / Theoretische Informatik / Wissens-Darstellung mehr...
ISBN:	9783540550341
EAN-Code:	9783540550341
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 8 mm
Gewicht:	213 gr
Seiten:	132
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this logic together with a sound and complete refutation calculus for constrained clauses.