Home Advanced Search

Advanced Search - Page 1

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

DJVU
English
Year: 1996
Author: Peter B. Andrews, Matthew Bishop (auth.), P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi (eds.)

Immobilised Macromolecules: Application Potentials

PDF
English
Year: 1993
Author: R. Jaenicke (auth.), U. B. Sleytr, P. Messner, D. Pum, M. Sára (eds.)

Central Processing of Visual Information A: Integrative Functions and Comparative Data

PDF
English
Year: 1973
Author: H. Autrum, P. O. Bishop, V. Braitenberg, K. L. Chow, R. L. De Valois, R. B. Freeman Jr., W. A. van de Grind, O.-J. Grüsser, U. Grüsser-Cornehls, R. Jung, W. R. Levick, H.-U. Lunkenheimer, D. M. MacKay, M. Snyder, J. Stone, N. J. Strausfeld, I. Thomas (auth.), Richard Jung (eds.)

Immunology and Liver

PDF
English
Year: 2000
Author: B. Arnold (auth.), M. P. Manns, G. Paumgartner, U. Leuschner (eds.)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

PDF
English
Year: 2002
Author: Peter B. Andrews (auth.)

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

PDF
English
Year: 1986
Author: Peter B. Andrews (auth.), Jörg H. Siekmann (eds.)

The Molecular Basis of Cancer

PDF
English
Year: 1985
Author: M. D. Vincent (auth.), Peter B. Farmer, John M. Walker (eds.)

Advanced Łukasiewicz calculus and MV-algebras

PDF
English
Year: 2011
Author: D. Mundici

Physics and Chemistry of Upper Atmosphere: Proceedings of a Symposium Organized by the Summer Advanced Study Institute, Held at the University of Orléans, France, July 31 — August 11, 1972

PDF
English
Year: 1973
Author: U. Von Zahn (auth.), B. M. McCormac (eds.)

Einführung in lineare elektronische Schaltungen

PDF
German
Year: 1977
Author: George D. Bishop (auth.), Noel M. Morris, Franz Seifert (eds.)