UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 31

Sortiert nach

Lambda calculus with types

Perspectives in logic

2013

Signatur: TCO1590

Fuzzy-Systeme

Leitfäden der Informatik

2., überarb. Aufl, 1995

Signatur: TCO1558(2)

Implikationen der Implikation

Heusch, Peter

1994

Signatur: D8795

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)

An introduction to the theory of surreal numbers

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

Gonshor, Harry

1986

Signatur: TCO1540

The logic of decision

Jeffrey, Richard C

2. ed, 1983

Signatur: TCO1011(2)-EN

Mechanizing hypothesis formation : mathematical foundations for a general theory

Universitext

1978

Signatur: TCO1477

Quantum logic

Synthese library : 126 (Alle Bände)

Mittelstaedt, Peter

1978

Signatur: TCO1508

Modern uses of multiple-valued logic : invited papers from the 5th International Symposium on Multiple Valued Logic held at Indiana University, Bloomington, Indiana, May 13 - 16, 1975

Episteme : 2 (Alle Bände)

Dunn, Jon Michael[Herausgeber]

1977

Signatur: TCO1493

Selected papers on Łukasiewicz sentential calculi

Wójcicki, Ryszard[Herausgeber]

1977

Signatur: TCO1469

Belief and probability

Synthese library : 104 (Alle Bände)

Vickers, John M

1976

Signatur: TCO1443

Elementary applied symbolic logic

Tapscott, Bangs L

1976

Signatur: TCO1435

Combinatory logic. 1 / Haskell B. Curry

Combinatory logic (Alle Bände)

3. print, 1974

Signatur: TCO1142-1

Pragmatic logic

Synthese library : 62 (Alle Bände)

Ajdukiewicz, Kazimierz

1974

Signatur: TCO1388

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

Mathematik für die Lehrerausbildung

1974

Signatur: TCO1273

Metamathematical investigation of intuitionistic arithmetic and analysis

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

Troelstra, Anne S[Herausgeber]

1973

Signatur: TCO1362

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

Lineare Aussageformen - programmiert

Basiswissen Mathematik

1973

Signatur: TCO1087

Combinatory logic. 2 / Haskell B. Curry

Combinatory logic (Alle Bände)

1972

Signatur: TCO1142-2

THEORY OF ALGORITHMS (TEORIJA ALGORIFMOV, ENGL.)

WORKS OF THE MATHEMATICAL INSTITUTE IM. V. A. STEKLOV . VOL. 42. : 42 (Alle Bände)

Markov, Andrej A

1971

Signatur: TCO1037

Formal semantics and logic

Van Fraassen, Bas C

1971

Signatur: TCO1419

Un programme de démonstration de théorèmes

MONOGRAPHIES D'INFORMATIQUE. 7. : 7 (Alle Bände)

Pitrat, Jacques

1970

Signatur: TCO1150

Notes on constructive mathematics

Martin-Löf, Per

1970

Signatur: TCO1354

The language of time

International library of philosophy and scientific method

Gale, Richard M

1968

Signatur: TCO1427

1 – 25 von 31

Suche als RSS-Feed

Aktive Filter

SchlagwortMathematische Logik

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(31)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(31)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TCO
(31)
TCL
(1)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Lambda calculus with types

Fuzzy-Systeme

Implikationen der Implikation

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

An introduction to the theory of surreal numbers

The logic of decision

Mechanizing hypothesis formation : mathematical foundations for a general theory

Quantum logic

Modern uses of multiple-valued logic : invited papers from the 5th International Symposium on Multiple Valued Logic held at Indiana University, Bloomington, Indiana, May 13 - 16, 1975

Selected papers on Łukasiewicz sentential calculi

Belief and probability

Elementary applied symbolic logic

Combinatory logic. 1 / Haskell B. Curry

Pragmatic logic

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

Metamathematical investigation of intuitionistic arithmetic and analysis

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

Lineare Aussageformen - programmiert

Combinatory logic. 2 / Haskell B. Curry

THEORY OF ALGORITHMS (TEORIJA ALGORIFMOV, ENGL.)

Formal semantics and logic

Un programme de démonstration de théorèmes

Notes on constructive mathematics

The language of time

Aktive Filter

Suchergebnisse filtern