Home
Add
Open Access Books
Get on Google Play
Click here to donate your five minutes and submit the table of contents of a book.
Search from the table of contents of 2.5 million books
Every Word
Any Word
Exact Word
Exact Phrase
Criteria
Table of Contents
Chapter Authors
──────────
Books
Book Authors
Publisher
Publishing Date
──────────
Thesis
Thesis Authors
Field
Search
Search I can Access
Query minimum length 2 and maximum length 100
Advanced Search (Beta)
Home
> R. Letz
"R. Letz" appeared in Books and Chapters
Books
Chapters
10
20
30
50
100
200
500
entries per page
Filter:
Showing 0 to 0 of 0 entries
Book
Author(s)
Year
Publisher
No data available in table
Boook
Author(s)
Year
Publisher
Showing 0 to 0 of 0 entries
«
‹
›
»
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 7 of 7 entries
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Partheo: A high-performance parallel theorem prover
J. Schumann
;
R. Letz
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings
Mark E. Stickel
1990
Springer Berlin Heidelberg
Tutorial on high-performance theorem provers: Efficient implementation and parallelisation
J. Schumann
;
R. Letz
;
F. Kurfess
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings
Mark E. Stickel
1990
Springer Berlin Heidelberg
P A R T H E O: A Parallel Inference Machine
S. Bayerl
;
R. Letz
;
J. Schumann
Wissensbasierte Systeme: 3. Internationaler GI-Kongreß München, 16. –17. Oktober 1989 Proceedings
Wilfried Brauer
;
Christian Freksa
1989
Springer Berlin Heidelberg
SETHEO V3. 2: Recent developments
Chr. Goller
;
R. Letz
;
K. Mayr
;
J. Schumann
Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
Alan Bundy
1994
Springer Berlin Heidelberg
10. Red flags for serious disease in low back syndromes
Donald R. Murphy, Gideon Letz and Craig E. Morris
Low back syndromes: integrated clinical management /
Morris, Craig E.
c2006.
McGraw-Hill, Medical Pub. Division,
Partheo: A parallel inference machine ESPRIT 415 subproject F
W. Ertel
;
F. Kurfeß
;
R. Letz
;
X. Pandolfi
;
J. Schumann
PARLE ' 89 - Parallel Architectures and Languages Europe: Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings
Eddy Odijk
;
Martin Rem
;
Jean-Claude Syre
1989
Springer Berlin Heidelberg
New heavy metal oxide silicate amplifier glass for compact and broadband amplifiers
F. Bullesfeld, B. Drapp, V. Hagemann, M. Letz, U. Peuchert, S. Reichel, R. Sprengard, T. Kaelber, M. Brinkmann, B. Schreder, E. Pawlowski, S. A. Pucilowski and J. S. Hayden
Rare-earth-doped materials and devices VII: 28-30 January, 2003, San Jose, California, USA /
Jiang, Shibin.
;
Lucas, Jacques.
[2003], ©2003.
SPIE,
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Showing 1 to 7 of 7 entries
«
‹
1
›
»