QR-Code

Logic. Form and function. The mechanization of deductive reasoning /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Robinson, John Alan
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Edinburgh : University Press, 1979
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Deductive databases and logic programming /
von: Das, Subrata Kumar
Veröffentlicht: (1992)

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

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

Logical Form Between Logic and Natural Language /
von: Iacona, Andrea
Veröffentlicht: (2018)

Logic in algebraic form : three lenguages and theories.
von: Craig, William
Veröffentlicht: (1974)

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

Thinking & Reasoning

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

Automation of reasoning. Vol. 2. Classical papers on computational logic. 1967 - 1970 /
von: Wos, L.
Veröffentlicht: (1983)

Partition Function Form Games Coalitional Games with Externalities /
von: Kóczy, László Á.
Veröffentlicht: (2018)

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)

Quantum Mechanics in Matrix Form
von: Ludyk, Günter
Veröffentlicht: (2018)

Theoretical mechanics for sixth forms.
von: Plumpton, C., et al.
Veröffentlicht: (1971)

Theoretical mechanics for sixth forms.
von: Plumpton, C., et al.
Veröffentlicht: (1972)

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

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)

9TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION : PROCEEDINGS, ARGONNE, ILLINOIS, USA, MAY 23. - 26. 1988 /
von: Zhang, Hantao And Co
Veröffentlicht: (1988)

Introduction to the mechanics of plastics forming of metals /
von: Szczepiński, Wojciech
Veröffentlicht: (1979)

Limiting base erosion involving interest deductions and other financial payments.
Veröffentlicht: (2015)

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

Elementary mechanics of plastic flow in metal forming /
von: Talbert, Samuel H.
Veröffentlicht: (1996)

The reasoning architect. Mathematics and science in design /
von: Stevens, Garry
Veröffentlicht: (1990)

How to Measure the Quality of Judicial Reasoning
Veröffentlicht: (2018)

Intelligent, adaptive and reasoning technologies : new developments and applications /
Veröffentlicht: (2011)

Immanent Reasoning or Equality in Action A Plaidoyer for the Play Level /
von: Rahman, Shahid
Veröffentlicht: (2018)

APPLICATIONS OF TENSOR FUNCTIONS IN SOLID MECHANICS /
von: Boehler, Jean Paul
Veröffentlicht: (1987)

The logical design of operating systems /
von: Shaw, Alan C.
Veröffentlicht: (1974)

Form 20, Form 30.
Veröffentlicht: (2010)

Logic analyzers for microprocessors /
von: Kneen, John
Veröffentlicht: (1980)

Approximate reasoning in intelligent systems, decision and control /
von: Yamakawa, T.
Veröffentlicht: (1988)

Readings in qualitative reasoning about physical systems /
von: Forbus, Kenneth D.
Veröffentlicht: (1990)

Knowledge Representation, Reasoning, and the Design of Intelligent Agents
Veröffentlicht: (2014)

FOUNDATIONS OF LOGIC PROGRAMMING /
von: Lloyd, John Wylie
Veröffentlicht: (1984)

Form : Tidskrift för Föreningen Svensk Form

Time, Science and the Critique of Technological Reason Essays in Honour of Hermínio Martins /
Veröffentlicht: (2018)