UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 34

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

Applied symbolic logic

A Wiley interscience publication

Lynch, Edward P

1980

Signatur: TCO1524

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

Two Applications Of Logic To Mathematics

Publications Of The Mathematical Society Of Japan : 13 (Alle Bände), KANO MEMORIAL LECTURES : 3 (Alle Bände)

Takeuti, Gaisi

1978

Signatur: TCO1516

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

Advanced logic for applications

Synthese library : 110 (Alle Bände)

Grandy, Richard E

1977

Signatur: TCO1485

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

Lineare Aussageformen - programmiert

Basiswissen Mathematik

1973

Signatur: TCO1087

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

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

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

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

Applied symbolic logic

Mechanizing hypothesis formation : mathematical foundations for a general theory

Quantum logic

Two Applications Of Logic To Mathematics

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

Advanced logic for applications

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

Lineare Aussageformen - programmiert

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

Combinatory logic. 2 / Haskell B. Curry

THEORY OF ALGORITHMS (TEORIJA ALGORIFMOV, ENGL.)

Formal semantics and logic

Suchergebnisse filtern