Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: subject="Programming Logics"
cover
Programming Logics
Comment Share
Andrei Voronkov and Christoph Weidenbach (Eds.)

Harald Ganzinger’s research career spanned over 3 decades during which he made numerous contributions to many areas of computer science, ranging from fundamental theory to low-level implementation techniques. During this time period, he also powerfully influenced many researchers’ lives. He had publications with more than 35 different coauthors from many different countries. In this arti…

Edition
-
ISBN/ISSN
978-3-642-37650-4
Collation
1-455
Series Title
-
Call Number
-