Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms.
Interaction versus Automation: The two Faces of Deduction. 2009
Erscheinungsjahr: 2009
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |