UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 918

Sortiert nach

The logico-algebraic approach to quantum mechanics

THE UNIVERSITY OF WESTERN ONTARIO SERIES IN PHILOSOPHY OF SCIENCE; 5

Hooker, C. A[Herausgeber]

Signatur: UHH2374-...

Logical physics

Boston studies in the philosophy of science : 74 (Alle Bände)

1983

Signatur: UAQ2436

Recent developments in quantum logic : proceedings of the International Symposium on Quantum Logic, Cologne, Germany, June 13-16, 1984

Grundlagen der exakten Naturwissenschaften : 6 (Alle Bände)

Mittelstaedt, Peter[Herausgeber]

1985

Signatur: UAL840108

Computer logic, testing and verification

Digital system design series

Roth, John Paul

1980

Signatur: TXB2464

Handbook of logic and language

Benthem, Johan <<van>>[Herausgeber]

1997

Signatur: BFN1276

From natural language processing to logic for expert systems : a logic based approach to artificial intelligence

A logic based approach to artificial intelligence

1991

Signatur: TVU3310

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Beckstein, Clemens

1988

Signatur: D455

Logik, Automaten, Algorithmen

Ajzerman, Mark A

1967

Signatur: TVH1038

Introduction to mathematical logic : set theory, computable functions, model theory

Undergraduate texts in mathematics

Malitz, Jerome

1979

Signatur: TVD1559

Logic, semantics, metamathematics : papers from 1923 to 1938

Tarski, Alfred

Repr, 1969

Signatur: TVD1062

Logic: form and function : the mechanization of deductive reasoning

Robinson, John A

1979

Signatur: TVD1541

Logic : mathematics, language, computer science, and philosophy

Swart, Henricus C. <<de>>

Signatur: TCL4268-...

Logikkalküle

Leitfäden der angewandten Mathematik und Mechanik : 43 (Alle Bände), Teubner Studienbücher : Informatik

Richter, Michael M

1. Aufl, 1978

Signatur: TVD1509

Logic for problem solving

The computer science library : Artificial intelligence series : 7 (Alle Bände)

Kowalski, Robert

1979

Signatur: TVD1630

Computer science and multiple valued logic : theory and applications

Rine, David C[Herausgeber]

1977

Signatur: TVC1245

Einführung in die Logik

Kröners Taschenausgabe : 381 (Alle Bände)

Essler, Wilhelm K

2., erw. Aufl, 1969

Signatur: TVC1041(2)

Theoretical concepts

Library of exact philosophy : 10 (Alle Bände)

Tuomela, Raimo

1973

Signatur: TVC1114

Knowledge in action : logical foundations for specifying and implementing dynamical systems

Reiter, Raymond

2001

Signatur: TVB4426

Die Philosophie Carnaps

Library of exact philosophy : 1 (Alle Bände)

Krauth, Lothar

1970

Signatur: TUC1047

Formal aspects of computing : essays dedicated to Derrick Kourie on the occasion of his 65th birthday

Berichte aus der Informatik

2013

Signatur: TTQB1038

Logicals für den Mathematikunterricht : Rätsel für die 5./6. Klasse in zwei Differenzierungsstufen

Bergedorfer Unterrichtsideen

Röser, Thomas

1. Auflage, 2016

Signatur: MQ32599

Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form?

Buth, Manfred

1996

Signatur: TOB1682

Logische Propädeutik : eine Einführung in die deduktive Methode und logische Sprachenanalyse

Kritische Information : 29 (Alle Bände)

Hinst, Peter

1974

Signatur: TOB1315

Lebendige Mathematik. 1. Logik und Mengen

Lebendige Mathematik (Alle Bände)

Dienes, Zoltan P

1973

Signatur: TML1341-1

Logik und Mathematik für Sozialwissenschaftler. 2. Bestandteile und Methoden formalisierter Modelle in den Sozialwissenschaften

Logik und Mathematik für Sozialwissenschaftler (Alle Bände), Uni-Taschenbücher : 528 (Alle Bände)

1976

Signatur: M37625

1 – 25 von 918

Suche als RSS-Feed

Aktive Filter

SystemstelleJSRA

Neu hinzugefügt... im letzten Monat

SchlagwortLogik

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

5 weitere anzeigen...

Weniger anzeigen...

Systemstelle

HLF
(100)
HLH
(65)
HLG
(50)
TCK
(44)
TCL
(32)
TBP
(18)
TAY
(14)
AFG
(11)
BEP
(11)
HLK
(10)
JHEW
(10)
HLD
(9)
HII
(7)
HMB
(6)
IWBU
(6)
TVD
(6)
BFG
(5)
HIN
(5)
HLT
(5)
JFPB
(5)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

4 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

The logico-algebraic approach to quantum mechanics

Logical physics

Recent developments in quantum logic : proceedings of the International Symposium on Quantum Logic, Cologne, Germany, June 13-16, 1984

Computer logic, testing and verification

Handbook of logic and language

From natural language processing to logic for expert systems : a logic based approach to artificial intelligence

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Logik, Automaten, Algorithmen

Introduction to mathematical logic : set theory, computable functions, model theory

Logic, semantics, metamathematics : papers from 1923 to 1938

Logic: form and function : the mechanization of deductive reasoning

Logic : mathematics, language, computer science, and philosophy

Logikkalküle

Logic for problem solving

Computer science and multiple valued logic : theory and applications

Einführung in die Logik

Theoretical concepts

Knowledge in action : logical foundations for specifying and implementing dynamical systems

Die Philosophie Carnaps

Formal aspects of computing : essays dedicated to Derrick Kourie on the occasion of his 65th birthday

Logicals für den Mathematikunterricht : Rätsel für die 5./6. Klasse in zwei Differenzierungsstufen

Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form?

Logische Propädeutik : eine Einführung in die deduktive Methode und logische Sprachenanalyse

Lebendige Mathematik. 1. Logik und Mengen

Logik und Mathematik für Sozialwissenschaftler. 2. Bestandteile und Methoden formalisierter Modelle in den Sozialwissenschaften

Aktive Filter

Suchergebnisse filtern