Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 704147 results
Sort by: relevance publication year

Handbook of Logic in Computer Science

EDITED BOOK published 27 April 1995

Editors: S Abramsky | Dov M Gabbay | T S E Maibaum

Space-Time Structure from Quantum Logic

BOOK CHAPTER published 1981 in Current Issues in Quantum Logic

Authors: A. R. Marlow

Book review Molecular Structure and Conformation. Progress in Theoretical Organic Chemistry, Vol. 3, I. G. Csizmadia (Ed.). Elsevier Scientific Publishing Company, Amsterdam, 1982, 344 pp.

JOURNAL ARTICLE published June 1986 in International Journal of Quantum Chemistry

Authors: Jean‐Louis Calais

Quantum approaches to consciousness

BOOK CHAPTER published 14 May 2007 in The Cambridge Handbook of Consciousness

Authors: Henry Stapp

Algebraic Structures and Observations: Quantales for a Noncommutative Logic - Theoretic Approach to Quantum Mechanics

BOOK CHAPTER published 1995 in The Foundations of Quantum Mechanics — Historical Analysis and Open Questions

Authors: M. Piazza

Quantum-Mechanical Features in Terms of the Logic of the Physical System

BOOK CHAPTER published 28 December 1984 in The Logic of Quantum Mechanics

Quantum Logic and Macroscopic Quantum Games

PROCEEDINGS ARTICLE published 2007 in AIP Conference Proceedings

Authors: A. Grib | Guillaume Adenier | Andrei Yu. Khrennikov | Pekka Lahti | Vladimir I. Man'ko | Theo M. Nieuwenhuizen

Handbook of philosophical logic, edited by D. M. Gabbay and F. Guenthner, vol. 10. Kluwer Acadamic Publishers, Dordrecht/Boston/London, 2004, 361 pp.

JOURNAL ARTICLE published June 2007 in Bulletin of Symbolic Logic

Authors: Theo M. V. Janssen

POROUS SILICON QUANTUM SPONGE STRUCTURES: FORMATION MECHANISM, PREPARATION METHODS AND SOME PROPERTIES

BOOK CHAPTER published October 1994 in Porous Silicon

Authors: U. GÖSELE | V. LEHMANN

Contributors

OTHER published 27 April 1995 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | Galton Antony

Preface

OTHER published 17 March 1994 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | D Nute

Preface

OTHER published 24 June 1993 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | J Siekmann

Contributors

OTHER published 24 June 1993 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | J Siekmann

Fresh Logic: proof-theory and semantics for FM and nominal techniques

JOURNAL ARTICLE published June 2007 in Journal of Applied Logic

Authors: Murdoch J. Gabbay

Preface

BOOK CHAPTER published 2006 in Handbook of the History of Logic

Authors: Dov M. Gabbay | John Woods

Contributors

OTHER published 17 March 1994 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | D Nute

Preface

OTHER published 27 April 1995 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | Galton Antony

Title Pages

OTHER published 10 December 1992 in Handbook of Logic in Computer Science

Editors: S Abramsky | Dov M Gabbay | Jane Spurr

Introduction to Labelled Deductive Systems

BOOK CHAPTER published 2014 in Handbook of Philosophical Logic

Authors: Dov M. Gabbay

Quantum Flux Parametron

BOOK CHAPTER published March 1991 in Quantum Flux Parametron