Open access
Date
2006Type
- Report
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-006781813Publication status
publishedJournal / series
Technical Report / ETH Zurich, Department of Computer ScienceVolume
Publisher
ETH, Department of Computer ScienceSubject
DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE); DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ); SPECIALIZED REFERENCE WORKS + SPECIALIZED ENCYCLOPAEDIAS + HANDBOOKS (DOCUMENT TYPE); FACHLICHE NACHSCHLAGEWERKE + FACHLEXIKA + HANDBÜCHER (DOKUMENTENTYP); UML, UNIFIED MODELLING LANGUAGE (SOFTWARE ENGINEERING)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Technical Reports D-INFK.More
Show all metadata
ETH Bibliography
yes
Altmetrics