UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 529

Sortiert nach

Nonmonotonic and inductive logic : international workshop ; proceedings

Lecture notes in computer science : ... : Lecture notes in artificial intelligence

An algebraic approach to non-classical logics

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

Rasiowa, Helena

1974

Signatur: TCL1252

As far as i know : epistemic logic and uncertainty = Zover ik weet

Quaestiones infinitae : 7 (Alle Bände)

Voorbraak, Frans

1993

Signatur: D9293

Digital design from zero to one

Daniels, Jerry D

1996

Signatur: YGQ3886

Handbook of the history of logic. 8. The many valued and nonmonotonic turn in logic / ed. by Dov M. Gabbay

Handbook of the history of logic (Alle Bände)

Gabbay, Dov M[Herausgeber]

2007

Signatur: HLG1697-8

Infinitary logic : in memoriam Carol Karp ; a collection of papers by various authors

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

1975

Signatur: TCK2376

Special issue: LICS 1995 : papers ... at the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), held June 26 - 29, 1995, in San Diego, California

Information and computation : 157 (Alle Bände)

2000

Signatur: 64i1

A course in mathematical logic

1977

Signatur: TCK2774

Logic and reality : an investigation into the idea of a dialectical system

Armour, Leslie

1972

Signatur: HLL1074

Argument and inference : an introd. to symbolic logic

Cardwell, Charles E

1979

Signatur: TCK2978

Logic Colloquium. 1984. Proceedings of the colloquium held in Manchester, U.K., July 1984

Logic Colloquium (Alle Bände), ... : 120 (Alle Bände)

Logic Colloquium

1986

Signatur: TAY841128

Logic Colloquium. 1985. Proceedings of the colloquium held in Orsay, France, July 1985

Logic Colloquium (Alle Bände), ... : 122 (Alle Bände)

Logic Colloquium

1987

Signatur: TAY851246

Logic Colloquium. 1986. Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986

Logic Colloquium (Alle Bände), ... : 124 (Alle Bände)

Logic Colloquium

1988

Signatur: TAY861233

Logic Colloquium. '87. Proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987

Logic Colloquium (Alle Bände), ... : 129 (Alle Bände)

Logic Colloquium

1989

Signatur: TAY870818

Logic Colloquium. '88. Proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988

Logic Colloquium (Alle Bände), ... : 127 (Alle Bände)

Logic Colloquium

1989

Signatur: TAY880180

An outline of mathematical logic : fundamental results and notions explained with all details

Synthese library : 70 (Alle Bände)

Grzegorczyk, Andrzej

1974

Signatur: TCK1867

Deontic logic : introductory and systematic readings

Synthese library : 33 (Alle Bände)

Hilpinen, Risto[Herausgeber]

1971

Signatur: TCK2415

Juristische Logik und Argumentation

Rombach Hochschul-Paperback : 106 (Alle Bände)

Bund, Elmar

1983

Signatur: HLH1919

Philosophical papers of Georg Henrik von Wright. 1. Practical reason

Philosophical papers of Georg Henrik von Wright (Alle Bände)

Wright, Georg Henrik <<von>>

1983

Signatur: HLF2127-1

Philosophical papers of Georg Henrik von Wright. 2. Philosophical logic

Philosophical papers of Georg Henrik von Wright (Alle Bände)

Wright, Georg Henrik <<von>>

1983

Signatur: HLF2127-2

Philosophical papers of Georg Henrik von Wright. 3. Truth, knowledge, and modality

Philosophical papers of Georg Henrik von Wright (Alle Bände)

Wright, Georg Henrik <<von>>

1984

Signatur: HLF2127-3

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Math. Logic held in Caracas, Venezuela, August 1 - 6, 1983

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

Prisco, Carlos Augusto <<di>>[Herausgeber]

1985

Signatur: TAY830533

New studies in deontic logic : norms, actions, and the foundations of ethics

Synthese library : 152 (Alle Bände)

Hilpinen, Risto[Herausgeber]

1981

Signatur: HMI1528

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

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

Arruda, Ayda I[Herausgeber]

1980

Signatur: TAY2441

Tense logic

Synthese library : 111 (Alle Bände)

McArthur, Robert P

1976

Signatur: TCL2436, TCL2737

1 – 25 von 529

Suche als RSS-Feed

Aktive Filter

Autor / AutorinVardi, Moshe Y

SpracheDeutsch

SpracheLatein

SchlagwortLogik

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(347)
Online-Ressource
(182)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(520)
Zeitschrift
(9)

Schlagwort

Mathematische Logik
(272)
Computer science
(114)
Artificial intelligence
(81)
Fuzzy-Logik
(65)
Logic, Symbolic and mathematical
(34)
Logic design
(31)
Software engineering
(31)
Logische Programmierung
(30)
Induktive Logik
(27)
Information storage and retrieval systems
(24)
Algebra
(23)
Mengenlehre
(22)
Temporale Logik
(22)
Database management
(21)
Mathematik
(21)
Ontologie
(21)
Terminologische Logik
(21)
Information systems
(18)
Logic
(16)
Semantic Web
(16)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(383)
Französisch
(6)

Systemstelle

TCL
(57)
TCK
(50)
TAY
(22)
TVU
(16)
HLH
(14)
TVD
(14)
TVC
(11)
HLF
(10)
TBP
(9)
TCO
(8)
TAQ
(7)
TBR
(7)
TCS
(7)
TKM
(7)
TVM
(7)
TAA
(6)
WGD
(6)
61
(4)
HIN
(4)
TDC
(4)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

2 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Nonmonotonic and inductive logic : international workshop ; proceedings

An algebraic approach to non-classical logics

As far as i know : epistemic logic and uncertainty = Zover ik weet

Digital design from zero to one

Handbook of the history of logic. 8. The many valued and nonmonotonic turn in logic / ed. by Dov M. Gabbay

Infinitary logic : in memoriam Carol Karp ; a collection of papers by various authors

Special issue: LICS 1995 : papers ... at the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), held June 26 - 29, 1995, in San Diego, California

A course in mathematical logic

Logic and reality : an investigation into the idea of a dialectical system

Argument and inference : an introd. to symbolic logic

Logic Colloquium. 1984. Proceedings of the colloquium held in Manchester, U.K., July 1984

Logic Colloquium. 1985. Proceedings of the colloquium held in Orsay, France, July 1985

Logic Colloquium. 1986. Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986

Logic Colloquium. '87. Proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987

Logic Colloquium. '88. Proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988

An outline of mathematical logic : fundamental results and notions explained with all details

Deontic logic : introductory and systematic readings

Juristische Logik und Argumentation

Philosophical papers of Georg Henrik von Wright. 1. Practical reason

Philosophical papers of Georg Henrik von Wright. 2. Philosophical logic

Philosophical papers of Georg Henrik von Wright. 3. Truth, knowledge, and modality

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Math. Logic held in Caracas, Venezuela, August 1 - 6, 1983

New studies in deontic logic : norms, actions, and the foundations of ethics

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Tense logic

Aktive Filter

Suchergebnisse filtern