Benutzer:JimRockfort/Bücher/GERDS Resoltion (Logik)

Unsere Buchzusammenstellung arbeitet zurzeit nur sehr eingeschränkt (für Details siehe die Mediawiki-Projektseite: PDF-Funktionalität). Eine quelloffene Alternative ist MediaWiki2LaTeX.

	Dies ist ein gespeichertes „Wikipedia-Buch“	[ Bücherregal ]
	[ Buch übernehmen ]   [ Gedrucktes Buch bestellen ]

Resolution

Resolution (Logik)

Konjunktive Normalform

Disjunktionsterm

Nichtdeterministische Turingmaschine

Erfüllbarkeitsproblem der Aussagenlogik

NP-Vollständigkeit

Horn-Formel

Pränexform

Skolemform

Logische Programmierung

Logische Programmierung