Campusbibliothek

Refine your search

Your search returned 37 results.

Sort
Select all Clear all
Select titles to:
Results
1.
Advances in modal logic 1 ed. by Marcus Kracht ... Series: ; 87 | Stanford University CSLI lecture notes ; 87 |
Material type: Text Text; Format: print
Language: English Publisher: Stanford, Calif. CSLI Publ. 1998
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) CSLI 87:1, ...
Place hold Add to cart
2.
Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics, Dec. 29-30,1970 ed. by Hugues Leblanc by Series: ; 68 | Studies in logic and the foundations of mathematics ; 68
Material type: Text Text; Format: print
Language: English Publisher: Amsterdam North-Holland 1973
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) TSM 1970 1.
Place hold Add to cart
3.
Intensional and higher-order modal logic Daniel Gallin by Series: ; 1900 | North Holland mathematics studies ; 19
Material type: Text Text; Format: print
Language: English Publisher: Amsterdam North-Holland Publ. Co. [u.a.] 1975
Dissertation note: Zugl: Berkeley, Univ. of California, Diss., 1972
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) NHMS 19.
Place hold Add to cart
4.
Vollständige Systeme modaler und intuitionistischer Logik Kurt Schütte by Series: ; 42 | Ergebnisse der Mathematik und ihrer Grenzgebiete ; 42
Material type: Text Text; Format: print
Language: German Publisher: Berlin Heidelberg [u.a.] Springer 1968
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) EMG 42 2.Ex, ...
Place hold Add to cart
5.
A companion to modal logic G. E. Hughes; M. J. Cresswell by Series: ; 867 | University paperbacks ; 867
Edition: 1. publ.
Material type: Text Text; Format: print
Language: English Publisher: London [u.a.] Methuen 1984
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) HUG g 1984:1 1.Ex, ...
Place hold Add to cart
6.
Mathematics of modality Robert Goldblatt by Series: ; 4300 | Stanford University CSLI lecture notes ; 43 |
Material type: Text Text; Format: print
Language: English Publisher: Stanford, Calif. CSLI Publ. 1993
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) CSLI 43, ...
Place hold Add to cart
7.
Logical foundations of computer science Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994; proceedings A. Nerode ... (eds.) by Series: ; 81300 | Lecture notes in computer science ; 813
Material type: Text Text; Format: print
Language: English Publisher: Berlin Heidelberg [u.a.] Springer 1994
Other title:
  • LFCS '94
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 813.
Place hold Add to cart
8.
Modal logic and process algebra a bisimulation perspective ; [papers presented at a Workshop Called Three Days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam] ed. by Alban Ponse ... by Series: ; 5300 | Stanford University CSLI lecture notes ; 53 |
Material type: Text Text; Format: print
Language: English Publisher: Stanford, Calif. CSLI Publ. 1995
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) CSLI 53 2.Ex, ...
Place hold Add to cart
9.
Proof theory of modal logic [proceedings volume of a Workshop on the Proof Theory of Modal Logic, held at the University of Hamburg on November 19 - 20, 1993] ed. by Heinrich Wansing by Series: ; 200 | Applied logic series ; 2
Material type: Text Text; Format: print
Language: English Publisher: Dordrecht [u.a.] Kluwer 1996
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) WAN h2 1996:2 1.Ex.
Place hold Add to cart
10.
Modal logic Alexander Chagrov and Michael Zakharyaschev by Series: ; 3500 | Oxford logic guides ; 3500
Material type: Text Text; Format: print
Language: English Publisher: Oxford [u.a.] Clarendon Press 1997
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) ChAG a 1997:1 1.Ex.
Place hold Add to cart
11.
Automatic verification of sequential infinite state processes Olaf Burkart by Series: ; 135400 | Lecture notes in computer science ; 1354
Material type: Text Text; Format: print
Language: English Publisher: Berlin Heidelberg [u.a.] Springer 1997
Dissertation note: Teilw. zugl.: Aachen, Techn. Hochsch., Diss., 1995
Other title:
  • infinite-state
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1354.
Place hold Add to cart
12.
Transforming tree constraints into formal grammars the expressivity of tree languages Adi Palm by Series: ; 173 | Dissertationen zur künstlichen Intelligenz ; 173
Material type: Text Text; Format: print
Language: English Publisher: Sankt Augustin Infix 1997
Dissertation note: Zugl.: Passau, Univ., Diss., 1997
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 173.
Place hold Add to cart
13.
Labelled deduction ed. by David Basin ... by Series: ; 1700 | Applied logic series ; 17
Material type: Text Text; Format: print
Language: English Publisher: Dordrecht [u.a.] Kluwer Academic Publishers 2000
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) BAS d2 2000:1 1.Ex.
Place hold Add to cart
14.
Modal logic Patrick Blackburn; Maarten de Rijke; Yde Venema by Series: ; 53,2002 | Cambridge tracts in theoretical computer science ; 53.2002
Edition: 1. paperback ed.
Material type: Text Text; Format: print
Language: English Publisher: Cambridge [u.a.] Cambridge University Press 2002
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) BLA p2 2002:1 1.Ex, ...
Place hold Add to cart
15.
Modal logic Patrick Blackburn ; Maarten de Rijke ; Yde Venema by Series: ; 53,2004 | Cambridge tracts in theoretical computer science ; 53.2004
Edition: Reprinted with corr.
Material type: Text Text; Format: print
Language: English Publisher: Cambridge [u.a.] Cambridge Univ. Press 2004
Availability: No items available.
Add to cart
16.
Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 ; proceedings Holger Hermanns ... (eds.) by Series: ; 392000 | Lecture notes in computer science ; 3920
Material type: Text Text; Format: print
Language: English
Publisher number:
  • 11691372
Publisher: Berlin Heidelberg New York Springer 2006
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3920.
Place hold Add to cart
17.
Handbook of modal logic ed. by Patrick Blackburn; Johan van Benthem; Frank Wolter by Series: ; 300 | Studies in logic and practical reasoning ; 3
Edition: 1. ed., reprinted
Material type: Text Text; Format: print
Language: English Publisher: Amsterdam Heidelberg [u.a.] Elsevier c 2007
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) BLA p2 2007:1 1.Ex.
Place hold Add to cart
18.
Logic, language, and computation 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005 ; revised selected papers Balder D. ten Cate; Henk W. Zeevat (eds.) by Series: ; 4363 | Lecture notes in computer science ; 4363
Material type: Text Text; Format: print
Language: English Publisher: Berlin Heidelberg [u.a.] Springer 2007
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 4363.
Place hold Add to cart
19.
Philosophical logics a survey and a bibliography Georg Struth by Series: ; 94,17 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 94,17 |
Material type: Text Text; Format: print
Language: English Publisher: Kaiserslautern Saarbrücken DFKI 1994
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-94-17.
Place hold Add to cart
20.
A short introduction to modal logic Grigori Mints by Series: ; 30 | Stanford University CSLI lecture notes ; 30 |
Material type: Text Text; Format: print
Language: English Publisher: Stanford, Calif. Center for the Study of Language and Information 1992
Online resources:
Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) CSLI 30 2.Ex, ...
Place hold Add to cart
Pages

Imprint

Data Protection

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha