Zum Inhalt springen

Calmet, Jaques [Sonstige Person, Familie und Körperschaft]; Ida, Tetsuo [Sonstige Person, Familie und Körperschaft]; Wang, Dongming [Sonstige Person, Familie und Körperschaft]; Calmet, Jacques [HerausgeberIn] ; AISC 8 2006 Peking

Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20 - 22, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4120: Lecture notes in artificial intelligence
Sakakibara, Yasubumi [HerausgeberIn] ; ICGI 8 2006 Tokio

Grammatical inference: algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4201
Dalen, Dirk van [HerausgeberIn]; Lascar, D. [HerausgeberIn]; Smiley, T. J. [HerausgeberIn] ; Logic Colloquium Prag

Logic Colloquium '80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; New York; Oxford: North-Holland Publishing Company, 1982 ; Online-Ausg.: [Amsterdam]: Elsevier, [2011]

Erschienen in: Studies in logic and the foundations of mathematics ; 108
Bocheński, Joseph M. [VerfasserIn]

Ancient formal logic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam: North-Holland Publishing Company, 1951

Erschienen in: Studies in logic and the foundations of mathematics
Crossley, John N. [Sonstige Person, Familie und Körperschaft]

Constructive order types

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; London: North-Holland Pub. Co, 2010 ; Online-Ausg.: [S.l.]: HathiTrust Digital Library

Erschienen in: Studies in logic and the foundations of mathematics
Gabbay, Dov M. [HerausgeberIn]

Handbook of the logic of argument and inference : the turn towards the practical - [1. ed.]

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: Elsevier, 2002

Erschienen in: Studies in logic and practical reasoning ; 1
Robinson, Abraham [Sonstige Person, Familie und Körperschaft]

Non-standard analysis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam: North-Holland Pub. Co, 1966 ; Online-Ausg.: 2010

Erschienen in: Studies in logic and the foundations of mathematics
Barwise, Jon [Sonstige Person, Familie und Körperschaft]; Keisler, H. Jerome [Sonstige Person, Familie und Körperschaft]

Handbook of mathematical logic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; New York: North-Holland Pub. Co, 2010 ; Online-Ausg.: [S.l.]: HathiTrust Digital Library

Erschienen in: Studies in logic and the foundations of mathematics ; v. 90
Cantini, Andrea [VerfasserIn] ; ScienceDirect (Online service)

Logical frameworks for truth and abstraction : an axiomatic study

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; New York: Elsevier Science B.V, 1996 ; Online-Ausg.

Erschienen in: Studies in logic and the foundations of mathematics ; 135
Logic Colloquium Orsay, Équipe de Logique Mathématique

Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; New York; Oxford; Tokyo: North-Holland, 1987 ; Online-Ausg.: [Amsterdam]: Elsevier, [2021]

Erschienen in: Studies in logic and the foundations of mathematics ; 122
Kanger, Stig [Sonstige Person, Familie und Körperschaft] ; Scandinavian Logic Symposium (3rd :1973 :University of Uppsala)

Proceedings of the third Scandinavian Logic Symposium

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; New York: North-Holland, 1975 ; Online-Ausg.: [S.l.]: HathiTrust Digital Library, 2010

Erschienen in: Studies in logic and the foundations of mathematics ; v. 82
Quine, W. V. [VerfasserIn]

A System of Logistic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

s.l.: Harvard University Press, 1934 ; 1934
Benthem, Johan van [HerausgeberIn]

Handbook of logic and language

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect) (Deutschlandweit zugänglich)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: Elsevier, 1997
Drake, F. R. [Sonstige Person, Familie und Körperschaft] ; Logic Colloquium (1986, Hull, Humberside)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; New York: North-Holland, 2010 ; Online-Ausg.: [S.l.]: HathiTrust Digital Library

Erschienen in: Studies in logic and the foundations of mathematics ; v. 124
Quine, W. V [VerfasserIn]

Mathematical Logic, Revised Edition

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via De Gruyter)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, MA: Harvard University Press, [2021] ; [Online-Ausgabe]
van Heijenoort, Jean [Sonstige Person, Familie und Körperschaft]

Frege and Gödel : Two Fundamental Texts in Mathematical Logic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

s.l.: Harvard University Press, 1970 ; 1970
Paris, Jeff B. [HerausgeberIn]; Wilkie, A. J. [HerausgeberIn]; Wilmers, G. M. [HerausgeberIn] ; Logic Colloquium Manchester

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect) (Deutschlandweit zugänglich)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; New York; Oxford; Tokyo: North-Holland, 1986 ; [Amsterdam]: Elsevier

Erschienen in: Studies in logic and the foundations of mathematics ; 120
Jeroslow, Robert G. [VerfasserIn]

Logic-based decision support : mixed integer model formulation

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect) (Deutschlandweit zugänglich)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland [u.a.], 1989

Erschienen in: Annals of discrete mathematics ; 40
Ajzerman, Mark A. [Sonstige Person, Familie und Körperschaft]

Logic, automata, and algorithms

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zugang zur Ressource (via ScienceDirect)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; London: Academic Press, 1971 ; Online-Ausg.

Erschienen in: Mathematics in science and engineering ; vol. 79
Quine, W. V [VerfasserIn]

Set Theory and Its Logic : Revised Edition

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via De Gruyter)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, MA: Harvard University Press, [2021] ; [Online-Ausgabe]

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr