KOBV Portal

Hits per page

hits 1 - 10 | 19 hits

Sorting

Book

The logic of information structures / (1993)

Wansing, Heinrich T.

Berlin u.a. :Springer,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almafu_BV008100301

Format: IX, 163 S.

ISBN: 3-540-56734-8 , 0-387-56734-8

Series Statement: Lecture notes in computer science 681 : Lecture notes in artificial intelligence

Note: Zugl: Berlin, Freie Univ., Diss., 1992

Language: English

Subjects: Computer Science , Philosophy

RVK:

CC 4800

RVK:

ST 300

Keywords: Informationsstruktur ; Künstliche Intelligenz ; Informationsstruktur ; Logik ; Intuitionistische Logik ; Informationstheorie ; Logik ; Hochschulschrift ; Hochschulschrift ; Hochschulschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

HTW Berlin

BTU Cottbus

TU Berlin

Online Resource

The logic of information structures (1993)

Wansing, Heinrich T. [Verfasser]

Berlin u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035720285

Format: 1 Online-Ressource (IX, 163 S.)

ISBN: 3540567348 , 0387567348

Series Statement: Lecture notes in computer science 681 : Lecture notes in artificial intelligence

Note: Teilw. zugl: Berlin, Freie Univ., Diss., 1992

Language: English

Subjects: Computer Science

RVK:

ST 300

Keywords: Informationsstruktur ; Künstliche Intelligenz ; Informationsstruktur ; Logik ; Intuitionistische Logik ; Informationstheorie ; Logik ; Hochschulschrift

DOI: 10.1007/3-540-56734-8

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

Negation : a notion in focus (1996)

Wansing, Heinrich T.

Berlin [u.a.] :de Gruyter,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_BV010579911

Format: VIII, 270 S.

ISBN: 3-11-014769-6

Series Statement: Perspektiven der analytischen Philosophie 7

Language: German

Subjects: Computer Science , Philosophy

RVK:

CC 2400

RVK:

ST 300

RVK:

CI 1150

RVK:

CC 2600

RVK:

CC 4500

Keywords: Negation ; Logik ; Negation ; Negation ; Künstliche Intelligenz ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007053833&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Inhaltsverzeichnis

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

EUV Frankfurt

TU Berlin

Book

Proof theory of modal logic / (1996)

Wansing, Heinrich T.

Dordrecht [u.a.] :Kluwer,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almafu_BV011207818

Format: X, 311 S.

ISBN: 0-7923-4120-1

Series Statement: Applied logic series 2

Language: English

Subjects: Mathematics , Philosophy

RVK:

CC 2500

RVK:

CC 2600

RVK:

SD 1993

Keywords: Modallogik ; Beweistheorie ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

EUV Frankfurt

TU Berlin

Online Resource

Truth and falsehood : an inquiry into generalized logical values (2011)

Šramko, Jaroslav Vladyslavovyč [Verfasser] 1963- ; Wansing, Heinrich [Verfasser] 1963-

Dordrecht [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV039871765

Format: 1 Online-Ressource (XIII, 246 S.)

ISBN: 9789400709065 , 9789400709072

Series Statement: Trends in logic 36

Language: English

Subjects: Philosophy

RVK:

CC 2600

Keywords: Intuitionistische Logik ; Mathematische Logik

DOI: 10.1007/978-94-007-0907-2

URL: Volltext (URL des Erstveröffentlichers)

Author information: Šramko, Jaroslav Vladyslavovyč 1963-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

BTU Cottbus

TU Berlin

Online Resource

Towards mathematical philosophy : papers from the Studia Logica Conference Trends in Logic IV (2009)

Makinson, David ; Malinowski, Jacek ; Wansing, Heinrich 1963-

[Dordrecht] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV044009502

Format: 1 Online-Ressource (XIII, 343 Seiten) , Diagramme

ISBN: 9781402090844

Series Statement: Trends in Logic volume 28

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-1-402-09083-7

Language: English

Subjects: Philosophy

RVK:

CC 2600

Keywords: Mathematik ; Philosophie ; Mathematische Logik ; Philosophie ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-1-4020-9084-4

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

BTU Cottbus

TU Berlin

Book

Negation : a notion in focus ; [proceedings volume of an interdisciplinary workshop held during the Conference Analyomen 2 of the Gesellschaft für Analytische Philosophie (GAP), in Leipzig, September 7 - 10, 1994] (1996)

Wansing, Heinrich [Hrsg.] 1963- ; Gesellschaft für Analytische Philosophie

Berlin [u.a.] : de Gruyter

add to watchlist on the watchlist

Details

UID:

gbv_191625876

Format: VIII, 270 S , graph. Darst , 23 cm

ISBN: 3110147696

Series Statement: Perspektiven der analytischen Philosophie 7

Note: Literaturangaben

Additional Edition: Erscheint auch als Online-Ausgabe Negation Berlin : W. de Gruyter, 2010 ISBN 9783110876802

Additional Edition: ISBN 3110147696

Additional Edition: ISBN 9783110147698

Language: English

Subjects: Philosophy

RVK:

CI 1150

RVK:

CC 2600

Keywords: Negation ; Negation ; Konferenzschrift

URL: Inhaltsverzeichnis

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

UB Potsdam

Book

Displaying modal logic / (1998)

Wansing, Heinrich T.

Dordrecht [u.a.] :Kluwer Acad. Publ.,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almafu_BV012236713

Format: XI, 252 S. : graph. Darst.

ISBN: 0-7923-5205-X

Series Statement: Trends in logic 3

Note: Bibliogr. S. 235 - 246 , Leipzig, Univ., Habil.-Schr., 1997 u.d.T.: Wansing, Heinrich: Proof-theoretic aspects of intensional and non-classical logics

Language: English

Subjects: Mathematics , Philosophy

RVK:

CC 2500

RVK:

CC 2600

RVK:

SK 130

Keywords: Modallogik ; Beweistheorie ; Hochschulschrift ; Hochschulschrift

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008291245&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

Online Resource

The Logic of Information Structures (1993)

Wansing, Heinrich 1963-

Berlin, Heidelberg : Springer Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

gbv_1649298684

Format: Online-Ressource

ISBN: 9783540476429

Series Statement: Lecture Notes in Computer Science 681

Additional Edition: ISBN 9783540567349

Additional Edition: Buchausg. u.d.T. Wansing, Heinrich, 1963 - The logic of information structures Berlin : Springer, 1993 ISBN 3540567348

Additional Edition: ISBN 0387567348

Language: English

Subjects: Computer Science

RVK:

ST 300

RVK:

ST 120

RVK:

ST 125

Keywords: Informationsstruktur ; Logik ; Intuitionistische Logik

DOI: 10.1007/3-540-56734-8

URL: Volltext

URL: Cover

URL: Inhaltstext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltsverzeichnis

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

UB Potsdam

Online Resource

Nonclassical Logics and Information Processing : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings (1992)

Pearce, David A. 1952- ; Wansing, Heinrich 1963-

Berlin, Heidelberg : Springer Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

gbv_1649294867

Format: Online-Ressource

ISBN: 9783540472803

Series Statement: Lecture Notes in Computer Science 619

Additional Edition: ISBN 9783540557456

Additional Edition: Buchausg. u.d.T. Nonclassical logics and information processing Berlin : Springer, 1992 ISBN 3540557458

Additional Edition: ISBN 0387557458

Language: English

Subjects: Computer Science

RVK:

ST 285

RVK:

ST 125

Keywords: Modallogik ; Logische Programmierung ; Nichtmonotone Logik ; Beweistheorie ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/BFb0031919

URL: Volltext

URL: Cover

URL: Inhaltstext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltstext

Author information: Pearce, David A. 1952-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

UB Potsdam

hits 1 - 10 | 19 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg