Functional programming, concurrency, simulation and automated reasoning. International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada (Q1310267)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Functional programming, concurrency, simulation and automated reasoning. International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada |
scientific article; zbMATH DE number 477572
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Functional programming, concurrency, simulation and automated reasoning. International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada |
scientific article; zbMATH DE number 477572 |
Statements
Functional programming, concurrency, simulation and automated reasoning. International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada (English)
0 references
8 December 1993
0 references
The articles of this volume will not be indexed individually.
0 references
Functional programming
0 references
Concurrency
0 references
Simulation
0 references
Automated reasoning
0 references
