QR kód

Automation of reasoning. Vol. 1. Classical papers on computational logic. 1957 - 1966 /

Uložené v:

Podrobná bibliografia
Hlavný autor:	Davis, M.
Médium:	Kniha
Jazyk:	English
Vydavateľské údaje:	Berlin : Springer, 1983
Edícia:	Symbolic computation
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Automation of reasoning. Vol. 2. Classical papers on computational logic. 1967 - 1970 /
Autor: Wos, L.
Vydavateľské údaje: (1983)

Bibliografický zborník 1957 - 1966. : registre /
Vydavateľské údaje: (1973)

Reasoning with fuzzy logic /
Autor: Hellendoorn, Johannes
Vydavateľské údaje: (1990)

Classical scientific papers : chemistry.
Autor: Knight, David M.
Vydavateľské údaje: (1970)

Logic. Form and function. The mechanization of deductive reasoning /
Autor: Robinson, John Alan
Vydavateľské údaje: (1979)

Journal of Applied Non-Classical Logics

An algebraic approach to non-classical logics.
Autor: Rasiowa, Helena
Vydavateľské údaje: (1974)

Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /
Vydavateľské údaje: (1977)

Quantum chemistry. Classic scientific papers /
Autor: Hettema, Hinne
Vydavateľské údaje: (2000)

Bibliografický sborník 1957 /
Vydavateľské údaje: (1958)

Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework /
Autor: Akama, Seiki
Vydavateľské údaje: (2018)

Thinking & Reasoning

Automated deduction in equational logic and cubic curves /
Autor: Maccune, William
Vydavateľské údaje: (1996)

Jahresbericht 1966.
Vydavateľské údaje: (1967)

Readings in uncertian reasoning /
Autor: Shafer, Glenn
Vydavateľské údaje: (1990)

Readings in nonmonotonic reasoning /
Autor: Maccarthy, J.
Vydavateľské údaje: (1987)

Diagnostic reasoning in action /
Autor: Rasmussen, Jens
Vydavateľské údaje: (1991)

Normative Reasons and Theism
Autor: Harrison, Gerald K.
Vydavateľské údaje: (2018)

Optimization and computational logic /
Autor: Macaloon, Ken
Vydavateľské údaje: (1996)

The concepts and logic of classical thermodynamics as a theory of heat engines /
Autor: Truedell, Cliford Ambrose, a ďalší
Vydavateľské údaje: (1977)

Fundamentals of computer logic /
Autor: Hutchison, David
Vydavateľské údaje: (1981)

Digital logic and computer design /
Autor: Mano, M. Morris
Vydavateľské údaje: (1979)

The Affirmations of Reason On Karl Barth's Speculative Theology /
Autor: Baark, Sigurd
Vydavateľské údaje: (2018)

Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
Autor: Dalla Chiara, Maria Luisa
Vydavateľské údaje: (2018)

TOPICS IN CLASSICAL NUMBER THEORY. VOL. 1 /
Autor: Schinzel, A.
Vydavateľské údaje: (1984)

Technická práca 1957 : časopis Slovenskej rady vedeckých technických spoločností VTS pri SAV.
Vydavateľské údaje: (1957)

The Reasonable Audience Theatre Etiquette, Behaviour Policing, and the Live Performance Experience /
Autor: Sedgman, Kirsty
Vydavateľské údaje: (2018)

Scientific reasoning and epistemic attitudes /
Autor: Hársing, László
Vydavateľské údaje: (1982)

Handbook of Legal Reasoning and Argumentation
Vydavateľské údaje: (2018)

The European economy in 1966.
Vydavateľské údaje: (1967)

ACM transactions on computational logic
Vydavateľské údaje: (2000)

Computer arithmetic. Logic and design /
Autor: Spaniol, Otto
Vydavateľské údaje: (1981)

Computer logic, testing and verification /
Autor: Roth, John Paul
Vydavateľské údaje: (1980)

Automobily. 1966 - 1985 /
Autor: Minářík, Stanislav
Vydavateľské údaje: (1987)

Strojárska ročenka 1966 /
Autor: Bačkovský, Karel, a ďalší
Vydavateľské údaje: (1965)

Technická práca 1966.
Vydavateľské údaje: (1966)

Logical design for computers and control /
Autor: Dodd, K. N.
Vydavateľské údaje: (1972)

Computational logic : symposium proceedings, Brussels, Belgium, November 13/14, 1990 /
Vydavateľské údaje: (1990)

Usnesení a dokumenty SSSR 1956-1957.
Vydavateľské údaje: (1958)

Papers in computational linguistics /
Autor: Čulík, K.
Vydavateľské údaje: (1976)