QR-Code

Automation of reasoning. Vol. 2. Classical papers on computational logic. 1967 - 1970 /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wos, L.
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlin : Springer, 1983
Schriftenreihe:	Symbolic computation
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automation of reasoning. Vol. 1. Classical papers on computational logic. 1957 - 1966 /
von: Davis, M.
Veröffentlicht: (1983)

Reasoning with fuzzy logic /
von: Hellendoorn, Johannes
Veröffentlicht: (1990)

Logic. Form and function. The mechanization of deductive reasoning /
von: Robinson, John Alan
Veröffentlicht: (1979)

Classical scientific papers : chemistry.
von: Knight, David M.
Veröffentlicht: (1970)

Journal of Applied Non-Classical Logics

An algebraic approach to non-classical logics.
von: Rasiowa, Helena
Veröffentlicht: (1974)

Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /
Veröffentlicht: (1977)

Quantum chemistry. Classic scientific papers /
von: Hettema, Hinne
Veröffentlicht: (2000)

Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework /
von: Akama, Seiki
Veröffentlicht: (2018)

Thinking & Reasoning

Automated deduction in equational logic and cubic curves /
von: Maccune, William
Veröffentlicht: (1996)

Readings in uncertian reasoning /
von: Shafer, Glenn
Veröffentlicht: (1990)

Readings in nonmonotonic reasoning /
von: Maccarthy, J.
Veröffentlicht: (1987)

Diagnostic reasoning in action /
von: Rasmussen, Jens
Veröffentlicht: (1991)

Normative Reasons and Theism
von: Harrison, Gerald K.
Veröffentlicht: (2018)

Optimization and computational logic /
von: Macaloon, Ken
Veröffentlicht: (1996)

The concepts and logic of classical thermodynamics as a theory of heat engines /
von: Truedell, Cliford Ambrose, et al.
Veröffentlicht: (1977)

Fundamentals of computer logic /
von: Hutchison, David
Veröffentlicht: (1981)

The Affirmations of Reason On Karl Barth's Speculative Theology /
von: Baark, Sigurd
Veröffentlicht: (2018)

Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
von: Dalla Chiara, Maria Luisa
Veröffentlicht: (2018)

TOPICS IN CLASSICAL NUMBER THEORY. VOL. 2 /
von: Kaczorowski, J.
Veröffentlicht: (1984)

The Reasonable Audience Theatre Etiquette, Behaviour Policing, and the Live Performance Experience /
von: Sedgman, Kirsty
Veröffentlicht: (2018)

Scientific reasoning and epistemic attitudes /
von: Hársing, László
Veröffentlicht: (1982)

Handbook of Legal Reasoning and Argumentation
Veröffentlicht: (2018)

ACM transactions on computational logic
Veröffentlicht: (2000)

Computer arithmetic. Logic and design /
von: Spaniol, Otto
Veröffentlicht: (1981)

Computer logic, testing and verification /
von: Roth, John Paul
Veröffentlicht: (1980)

Logical design for computers and control /
von: Dodd, K. N.
Veröffentlicht: (1972)

Digital logic and computer design /
von: Mano, M. Morris
Veröffentlicht: (1979)

Elektrotechnická ročenka. 1967.
Veröffentlicht: (1966)

Stavebnícka ročenka 1967 /
von: Ložek, Gejza, et al.
Veröffentlicht: (1966)

Strojárska ročenka 1967 /
von: Březina, Pavel Ing, et al.
Veröffentlicht: (1966)

Stavební ročenka 1967 /
von: Rybář, Bedřich
Veröffentlicht: (1966)

Technická práca 1967.
Veröffentlicht: (1967)

Computational logic : symposium proceedings, Brussels, Belgium, November 13/14, 1990 /
Veröffentlicht: (1990)

Automated stream analysis for process control. Vol. 2 /
von: Baker, Gary L.
Veröffentlicht: (1984)

Papers in computational linguistics /
von: Čulík, K.
Veröffentlicht: (1976)

COMPUTER - BASED FACTORY AUTOMATION /
von: Wang, K. K.
Veröffentlicht: (1984)

Architecture in the age of reason : baroque and post- baroque in England, Italy, and France /
von: Kaufmann, Emil
Veröffentlicht: (1968)

Structured software development. Vol. 2. Invited papers /
von: Belady, L. A.
Veröffentlicht: (1979)