Mechanized reasoning and hardware design a discussion ; (meeting held at the Royal Society on 3 and 4 October 1991)
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Veröffentlicht: |
New York u.a.
Prentice-Hall
1992
|
| Ausgabe: | 1. [Dr.] |
| Schriftenreihe: | Prentice-Hall international series in computer science
|
| Schlagworte: | |
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Aus: Philosophical transactions of the Royal Society of London : Ser. A ; 1652 = Vol. 339 (1992), S. 1 - 151 |
|---|---|
| Beschreibung: | 151 S. |
| ISBN: | 0135724058 |