<div class="csl-bib-body">
<div class="csl-entry">Matzinger, R. (2000). <i>Computational representations of models in first-order logic</i> [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183949</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/183949
-
dc.description
Zsfassung in dt. Sprache
-
dc.language
English
-
dc.language.iso
en
-
dc.subject
Prädikatenlogik
de
dc.subject
Stufe 1
de
dc.subject
Modellierung
de
dc.subject
Automation
de
dc.title
Computational representations of models in first-order logic