• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • _Andere Einrichtungen
  • Publikationsnachweise
  • View Item
  •   Home
  • _Andere Einrichtungen
  • Publikationsnachweise
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik

Erstveröffentlichung
1998
Authors
Reif, Wolfgang
Wissenschaftlicher Artikel


Published in
Künstliche Intelligenz ; 12 (1998), 4. - S. 42-48. - eISSN 0170-4516
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works

Metadata
Show full item record

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement