Title |
Computational aspects of a first-order logic with sorts / von Christoph Weidenbach |
|---|---|
Involved |
Christoph Weidenbach (Verfasser) |
Published |
1996 |
Extent |
XIII, 179 S. : graph. Darst. |
Thesis |
Saarbrücken, Univ., Diss., 1996 |
Language |
|
Topic |
|
Subject |
Automatisches Beweisverfahren, Prädikatenlogik, Stufe 1, Sortierte Logik, Unifikationstheorie |
Record ID |
950483729 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: