Functional Programming, Concurrency, Simulation and Automated Reasoning
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993
Peter E. Lauer (Ed.):
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada.
Lecture Notes in Computer Science 693 Springer 1993, ISBN 3-540-56883-2
Contents BibTeX
Copyright © Sat May 16 23:29:19 2009
by Michael Ley (ley@uni-trier.de)
