C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Harald Ganzinger's Legacy: Contributions to Logics and Programming.
Deepak Kapur
Robert Nieuwenhuis
Andrei Voronkov
Christoph Weidenbach
Reinhard Wilhelm
Published in:
Programming Logics (2013)
Keyphrases
</>
programming language
programming environment
expressive power
modal logic
programming course
reverse engineering
high level language
classical logic
computer programming
data mining
real time
object oriented programming
propositional logic
inference rules
object oriented
case study
conditional logic
neural network