Reihe Lecture Notes in Artificial IntelligenceHans-Jürgen Bürckert × A Resolution Principle for a Logic with Restricted Quantifiers Hans-Jürgen BürckertSpringer BerlineBook200553,49 € A Resolution Principle for a Logic with Restricted Quantifiers Hans-Jürgen BürckertSpringer BerlinSoftcover199153,49 €
