UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 34

Sortiert nach

Advanced logic for applications

Synthese library : 110 (Alle Bände)

Grandy, Richard E

1977

Signatur: TCO1485

Applications scientifiques de la logique mathématique : actes du 2e Colloque International de Logique Mathématique, Paris, 25 - 30 août 1952, Institut Henri Poincaré

Collection de logique mathématique : Série A : 5 (Alle Bände)

1954

Signatur: TCO1192

Applied symbolic logic

A Wiley interscience publication

Lynch, Edward P

1980

Signatur: TCO1524

Aussagenlogik und Beweisverfahren : mit ... 45 Beispielen u. 81 Aufgaben

Mathematik für die Lehrerausbildung

1974

Signatur: TCO1273

Belief and probability

Synthese library : 104 (Alle Bände)

Vickers, John M

1976

Signatur: TCO1443

Combinatory logic

Studies in logic and the foundations of mathematics : 65 (Alle Bände)

1958-

Signatur: TCO1142-...

Combinatory logic. 1 / Haskell B. Curry

Combinatory logic (Alle Bände)

3. print, 1974

Signatur: TCO1142-1

Combinatory logic. 2 / Haskell B. Curry

Combinatory logic (Alle Bände)

1972

Signatur: TCO1142-2

Elementary applied symbolic logic

Tapscott, Bangs L

1976

Signatur: TCO1435

Formal semantics and logic

Van Fraassen, Bas C

1971

Signatur: TCO1419

Fuzzy-Systeme

Leitfäden der Informatik

2., überarb. Aufl, 1995

Signatur: TCO1558(2)

Fuzzy-Theorie oder Die Faszination des Vagen : Grundlagen einer präzisen Theorie des Unpräzisen für Mathematiker, Informatiker und Ingenieure

Informatik & Computer

Demant, Bernd

1993

Signatur: TCO1574

Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker

2., verb. Aufl, 1991

Signatur: TCL3775(2)

Implikationen der Implikation

Heusch, Peter

1994

Signatur: D8795

An introduction to the theory of surreal numbers

London Mathematical Society lecture note series : 110 (Alle Bände)

Gonshor, Harry

1986

Signatur: TCO1540

Lambda calculus with types

Perspectives in logic

2013

Signatur: TCO1590

The language of time

International library of philosophy and scientific method

Gale, Richard M

1968

Signatur: TCO1427

Lehrbuch der Logistik

Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften : Reihe der Grundlehren der exakten Wissenschaften : 2 (Alle Bände)

Dürr, Karl

1954

Signatur: TCO1312

Lineare Aussageformen - programmiert

Basiswissen Mathematik

1973

Signatur: TCO1087

The logic of decision

Jeffrey, Richard C

2. ed, 1983

Signatur: TCO1011(2)-EN

Logic, language, and probability : a selection of papers contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971

Synthese library : 51 (Alle Bände)

Bogdan, Radu J[Herausgeber]

1973

Signatur: TCO1396

Logik der Entscheidungen

Scientia nova

Jeffrey, Richard C

1967

Signatur: TCO1011

The mathematical theory of context free languages

Ginsburg, Seymour

1966

Signatur: TCO1029

Mechanizing hypothesis formation : mathematical foundations for a general theory

Universitext

1978

Signatur: TCO1477

Metamathematical investigation of intuitionistic arithmetic and analysis

Lecture notes in mathematics : 344 (Alle Bände)

Troelstra, Anne S[Herausgeber]

1973

Signatur: TCO1362

1 – 25 von 34

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(34)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(34)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TCO
(34)
TCL
(1)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Advanced logic for applications

Applications scientifiques de la logique mathématique : actes du 2e Colloque International de Logique Mathématique, Paris, 25 - 30 août 1952, Institut Henri Poincaré

Applied symbolic logic

Aussagenlogik und Beweisverfahren : mit ... 45 Beispielen u. 81 Aufgaben

Belief and probability

Combinatory logic

Combinatory logic. 1 / Haskell B. Curry

Combinatory logic. 2 / Haskell B. Curry

Elementary applied symbolic logic

Formal semantics and logic

Fuzzy-Systeme

Fuzzy-Theorie oder Die Faszination des Vagen : Grundlagen einer präzisen Theorie des Unpräzisen für Mathematiker, Informatiker und Ingenieure

Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker

Implikationen der Implikation

An introduction to the theory of surreal numbers

Lambda calculus with types

The language of time

Lehrbuch der Logistik

Lineare Aussageformen - programmiert

The logic of decision

Logic, language, and probability : a selection of papers contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971

Logik der Entscheidungen

The mathematical theory of context free languages

Mechanizing hypothesis formation : mathematical foundations for a general theory

Metamathematical investigation of intuitionistic arithmetic and analysis

Suchergebnisse filtern