Author:
Publisher:
ETH
Year of Publication:
2008
Document Type:
info:eu-repo/semantics/doctoralThesis ; [Doctoral and postdoctoral thesis]
Language:
en
Subjects:
DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE) ; DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ) ; SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS) ; SOFTWARE ENGINEERING ; SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME) ; info:eu-repo/classification/ddc/004 ; Data processing ; computer science
Rights:
info:eu-repo/semantics/openAccess ; http://rightsstatements.org/page/InC-NC/1.0/ ; In Copyright - Non-Commercial Use Permitted
Relations:
http://hdl.handle.net/20.500.11850/72902
;
doi:10.3929/ethz-a-005635243
http://hdl.handle.net/20.500.11850/72902
;
doi:10.3929/ethz-a-005635243
Content Provider:
ETH Zürich Research Collection
- URL: https://www.research-collection.ethz.ch/
- Research Organization Registry (ROR): ETH Zurich
- Continent: Europe
- Country: ch
- Latitude / Longitude: 47.384000 / 8.654000 (Google Maps | OpenStreetMap)
- Number of documents: 112,459
- Open Access: 91,165 (82%)
- Type: Academic publications
- System: DSpace XOAI
- Content provider indexed in BASE since:
- BASE URL: https://www.base-search.net/Search/Results?q=coll:ftethz
My Lists:
My Tags:
Notes:
More Versions Loading ...
An error has occurred!