Monografie

Logik und Logikprogrammierung

to connected objects

Edition: 3., durchges. Aufl.

Language: Deutsch

Extent: VIII, 302 S.

ISBN: 978-3-935025-59-1

Identifier: 969367015

Series: Kolleg Synchron

Subject

Mathematische Logik ; Logische Programmierung ; PROLOG ; Automatisches Beweisverfahren

Contributor

Hölldobler, Steffen

Table of contents: https://d-nb.info/969367015/04

Rights: Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.

Last update: 16.08.2023, 6:33 PM CEST

Data provider

Deutsche Nationalbibliothek

Show original at data provider

Object type

Monografie

Associated

Hölldobler, Steffen

Other Objects (12)

Monografie

Proofs, programs and executable specifications in higher order logic

Monografie

Logic for programming, artificial intelligence, and reasoning : 15th international conference ; proceedings

Monografie

Logik für Informatiker

Monografie

Logik für Informatiker

Monografie

Logik für Informatiker

Monografie

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Monografie

Types for proofs and programs : international workshop ; types '98, Kloster Irsee, Germany, March 27 - 31, 1998 ;selected papers

Monografie

Prolog : fortgeschrittene Programmiertechniken

Monografie

Logik für Informatiker

Monografie

Foundations of logic programming

Monografie

Automated deduction for projection elimination

Monografie

Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

Monografie

Proofs, programs and executable specifications in higher order logic

Monografie

Logic for programming, artificial intelligence, and reasoning : 15th international conference ; proceedings

Monografie

Logik für Informatiker

Monografie

Logik für Informatiker

Monografie

Logik für Informatiker

Monografie

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Monografie

Types for proofs and programs : international workshop ; types '98, Kloster Irsee, Germany, March 27 - 31, 1998 ;selected papers

Monografie

Prolog : fortgeschrittene Programmiertechniken

Monografie

Logik für Informatiker

Monografie

Foundations of logic programming

Monografie

Automated deduction for projection elimination

Monografie

Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

Monografie

Proofs, programs and executable specifications in higher order logic

Monografie

Logic for programming, artificial intelligence, and reasoning : 15th international conference ; proceedings

Monografie

Logik für Informatiker

Monografie

Logik für Informatiker

Monografie

Logik für Informatiker

Monografie

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Monografie

Types for proofs and programs : international workshop ; types '98, Kloster Irsee, Germany, March 27 - 31, 1998 ;selected papers

Monografie

Prolog : fortgeschrittene Programmiertechniken

Monografie

Logik für Informatiker

Monografie

Foundations of logic programming

Monografie

Automated deduction for projection elimination

Monografie

Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

Create user account

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

* I have read the terms of use and the privacy policy for the collection of personal data and accept them.

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Logik und Logikprogrammierung

Object Details

References and Relationships

Classification and Topics

Contributors, Location and Time

Further information

Data provider

Object type

Associated

Other Objects (12)

Proofs, programs and executable specifications in higher order logic

Logic for programming, artificial intelligence, and reasoning : 15th international conference ; proceedings

Logik für Informatiker

Logik für Informatiker

Logik für Informatiker

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Types for proofs and programs : international workshop ; types '98, Kloster Irsee, Germany, March 27 - 31, 1998 ;selected papers

Prolog : fortgeschrittene Programmiertechniken

Logik für Informatiker

Foundations of logic programming

Automated deduction for projection elimination

Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

Proofs, programs and executable specifications in higher order logic

Logic for programming, artificial intelligence, and reasoning : 15th international conference ; proceedings

Logik für Informatiker

Logik für Informatiker

Logik für Informatiker

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Types for proofs and programs : international workshop ; types '98, Kloster Irsee, Germany, March 27 - 31, 1998 ;selected papers

Prolog : fortgeschrittene Programmiertechniken

Logik für Informatiker

Foundations of logic programming

Automated deduction for projection elimination

Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

Proofs, programs and executable specifications in higher order logic

Logic for programming, artificial intelligence, and reasoning : 15th international conference ; proceedings

Logik für Informatiker

Logik für Informatiker

Logik für Informatiker

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Types for proofs and programs : international workshop ; types '98, Kloster Irsee, Germany, March 27 - 31, 1998 ;selected papers

Prolog : fortgeschrittene Programmiertechniken

Logik für Informatiker

Foundations of logic programming

Automated deduction for projection elimination

Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

Related objects