ISBN: 9783540550341 - a resolution principle for a logic with restricted quantifiers (lecture notes in computer science, 568, band 568) (2 Ergebnisse)
von H. J. Bürckert
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 66,39
EUR 11,11 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 66,40
EUR 35,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…
