Reihe Lecture Notes in Artificial IntelligenceJames G. Williams × Instantiation TheoryOn the Foundations of Automated DeductionJames G. WilliamsSpringer BerlineBook200653,49 € Instantiation TheoryOn the Foundations of Automated DeductionJames G. WilliamsSpringer BerlinSoftcover199153,49 €
