Theorem proving in higher order logics 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings

Subjects: “…Automatic theorem proving Congresses…”

The resolution calculus by Leitsch

Subjects: “…Automatic theorem proving…”

Reflexion and control mathematical models by Novikov, D. A. (Dmitriĭ Aleksandrovich) 1970-, Chkhartishvili, A. G. (Aleksandr Gedevanovich)

Applied coding and information theory for engineers by Wells

The Foundation of knowledge a comparative study in islamic and western methods of inquiry by Safi lhLouay M

Schaum's outline of theory and problems of analog and digital communications by Hsu

Einstein, relativity, and absolute simultaneity

Subjects: “…Bell's theorem.…”
NetLibrary
ebrary
MyiLibrary

Modernisn and theory by Stephen

Electromagnetic theory by Stratton

Theory of computation by Dexter C.

DC Theory by National Joint Apprenticeship and Training Committe

Theory of machines by Ravi

An introduction to Stein's method

Electromagnetic Wave Theory Sub to electromagnectic theory by JA Stratton

Quantum mechanics by Rae, Alastair I. M.

Summability and localization of eigenfunction expansions connected to schrodinger operator on closed domain by Nur Amalina Jamaludin

Time, emergences and communications by Dugue, Bernard

An Introduction to Queueing Theory : Modeling and Analysis in Applications / by Bhat, U. Narayan

Introductory quantum mechanic by Liboff

The theory of knowledge Classical and contemporary readings by lh