TY -
GEN
AU - Lauer, Peter E.
TI -
Functional programming, concurrency, simulation and automated reasoning
international lecture series 1991 - 1992, McMaster University, Hamilton, Ontario, Canada
PB - Springer
SN - 9783540477761
KW - Logic design
KW - Computer science
KW - Software engineering
KW - Computer programming.
KW - Artificial intelligence.
KW - Compilers (Computer programs).
KW - Programming Techniques
KW - Computer Science
KW - Logics and Meanings of Programs
KW - Programming Languages, Compilers, Interpreters
KW - Software Engineering
KW - Computer programming
KW - Congresses
KW - Functional programming (Computer science)
KW - Parallel programming (Computer science)
KW - Automatic theorem proving
KW - Computer simulation
KW - Aufsatzsammlung
KW - Funktionale Programmierung
KW - Nebenläufigkeit
KW - Prototyping
KW - Automatisches Beweisverfahren
KW - Logische Programmierung
PY - 1993
N2 - Literaturangaben
BT - Lecture notes in computer science ; 693
CY - Berlin [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -