search result

Cover von Special issue on logics of uncertainty; 1
S. 1 - 139
Search for this author
Year: 2000
Publisher: Boston, Kluwer
Count: 1
Media group: SPECIAL ISSUE
Cover von Joint AILA-KGS model theory meeting, Florence, Italy, 21 - 24 August 1995
special issue
Search for this author
Year: 1997
Publisher: Amsterdam, North-Holland
Series: Annals of pure and applied logic : 88. 1997, 2/3
Media group: SPECIAL ISSUE
Cover von Conference on multiple valued logic; 3/4
special issue : S. 109-166 : 26 to 31 October, 1997, Schloss Dagstuhl
Search for this author
Year: 1998
Publisher: Berlin, Springer
Count: 3/4
Series: Soft computing; 1998, vol. 2, no. 3/4
Media group: SPECIAL ISSUE
Cover von Multiple-valued logic
27.10. - 31.10.97 (9744)
Search for this author
Year: 1997
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 194
Media group: DAGSTUHL-SEMINAR-REP
Cover von Theorem proving with analytic tableaux and related methods
5th international workshop : Terrasini, Palermo, Italy, May 15 - 17, 1996 : proceedings
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1071
Media group: MONOGRAPHIE
Cover von Computational logic and proof theory
5th Kurt Gödel colloquium : Vienna, Austria, August 25 - 29, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1289
Media group: MONOGRAPHIE
Cover von Computational logic and proof theory
third Kurt Gödel colloquium : Brno, Czech Republic, August 24 - 27, 1993 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 713
Media group: MONOGRAPHIE
Cover von 1st international workshop on combinatorics of searching, sorting, and coding; 1
special issue : S. 1 - 124
Search for this author
Year: 2004
Publisher: Amsterdam, North-Holland
Count: 1
Media group: SPECIAL ISSUE
Cover von Tenth international congress of logic, methodology and philosophy of science

Tenth international congress of logic, methodology and philosophy of science

1997
Dordrecht, Kluwer
Media group: GESAMTWERK
Volumes loading
OPEN V 11.1.0.0