Isabelle/Isar

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3600 LNAI, Issue , 2006, Pages 41-49

  Wenzel, Markus ^a   Paulson, Larry ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 36849016360     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11542384_8     Document Type: Article

References (0)