Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.
Saved in:
Superior document: | NATO science series. Series III, Computer and systems sciences, v. 200 |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 2006 |
Language: | English |
Series: | NATO science series. Computer and systems sciences ;
v. 200. |
Online Access: | |
Physical Description: | vii, 445 p. |
Notes: |
|
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Neural computation and particle accelerators : research, technology and applications / / Emmerich Chabot and Horace D'Arras, editors.
Published: (c2010.) -
Biological computation / / Ehud Lamm, Ron Unger.
by: Lamm, Ehud,
Published: (2011.) -
Logic and Computation / / edited by Razvan Diaconescu.
Published: (2023.) -
The Cultural Logic of Computation / / David Golumbia.
by: Golumbia, David,
Published: ([2009]) -
Complexity and real computation / / Lenore Blum [and three others] ; foreword by Richard M. Karp.
Published: ([1998])