KOBV Portal

Book

Semantik und Programmverifikation (2001)

Walther, Christoph [Verfasser] 1950-

Stuttgart [u.a.] : Teubner

add to watchlist on the watchlist

Details

UID:

b3kat_BV014024108

Format: 211 S. , graph. Darst.

Edition: 1. Aufl.

ISBN: 3519003368

Series Statement: Teubner-Texte zur Informatik 34

Language: German

Subjects: Computer Science

RVK:

ST 140

Keywords: Funktionale Programmiersprache ; Formale Semantik ; Programmverifikation

URL: Inhaltsverzeichnis

URL: Inhaltstext

Author information: Walther, Christoph 1950-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

Berlin VÖBB/ZLB

BTU Cottbus

Book

A many-sorted calculus based on resolution and paramodulation (1987)

Walther, Christoph [Verfasser] 1950-

London : Pitman u.a.

add to watchlist on the watchlist

Details

UID:

b3kat_BV000709518

Format: 160 S.

Edition: 1. publ.

ISBN: 0934613494 , 0273087185

Series Statement: Research notes in artificial intelligence

Note: EST: Ein mehrsortiger Resolutionskalkül mit Paramodulation 〈engl.〉. - Teilw. zugl.: Karlsruhe, Univ., Diss., 1984

Language: English

Subjects: Mathematics

RVK:

SK 130

Keywords: Mehrsortige Theoremprüfung ; Künstliche Intelligenz ; Paramodulation ; Resolutionskalkül ; Mehrsortige Prädikatenlogik ; Automatisches Beweisverfahren ; Hochschulschrift ; Paramodulation ; Resolutionskalkül ; Mehrsortige Theoremprüfung ; Hochschulschrift

URL: Inhaltsverzeichnis

URL: Inhaltstext

Author information: Walther, Christoph 1950-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

TU Berlin

Book

Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60th birthday (2010)

Siegler, Simon ; Walther, Christoph, 1950-

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV036801877

Format: 143 S. : , Ill., graph. Darst. ; , 24 cm.

ISBN: 978-3-642-17171-0

Series Statement: Lecture notes in computer science 6463 : Lecture notes in artificial intelligence : Festschrift

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Verifikation ; Induktionsbeweis ; Automatisches Beweisverfahren ; Terminierung ; Programmverifikation ; Programmanalyse ; Formale Methode ; Festschrift ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

Author information: Walther, Christoph, 1950-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

TU Berlin

Book

Automatisierung von Terminierungsbeweisen (1991)

Walther, Christoph [Verfasser] 1950-

Braunschweig : Vieweg

add to watchlist on the watchlist

Details

UID:

b3kat_BV004236418

Format: IX, 253 S.

ISBN: 3528047712

Series Statement: Künstliche Intelligenz

Note: Zugl.: Karlsruhe, Univ., Habil.-Schr., 1990

Language: German

Subjects: Computer Science

RVK:

ST 130

Keywords: Kontrolltheorie ; Softwareentwicklung ; Algorithmus ; Terminierung ; Automatisches Beweisverfahren ; Terminierung ; Automatisches Beweisverfahren ; Hochschulschrift

Author information: Walther, Christoph 1950-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

BTU Cottbus

Online Resource

Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60th birthday (2010)

Siegler, Simon [Sonstige] ; Walther, Christoph 1950-

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036891438

Format: 1 Online-Ressource (143 S.) , Ill., graph. Darst.

ISBN: 9783642171710 , 9783642171727

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

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Verifikation ; Induktionsbeweis ; Automatisches Beweisverfahren ; Terminierung ; Programmverifikation ; Programmanalyse ; Formale Methode ; Festschrift ; Konferenzschrift

DOI: 10.1007/978-3-642-17172-7

URL: Volltext

Author information: Walther, Christoph 1950-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

BTU Cottbus

Book

Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60th birthday (2010)

Siegler, Simon [Sonstige] ; Walther, Christoph 1950-

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036801877

Format: 143 S. , Ill., graph. Darst. , 24 cm

ISBN: 9783642171710

Series Statement: Lecture notes in computer science 6463 : Lecture notes in artificial intelligence : Festschrift

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Verifikation ; Induktionsbeweis ; Automatisches Beweisverfahren ; Terminierung ; Programmverifikation ; Programmanalyse ; Formale Methode ; Festschrift ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

Author information: Walther, Christoph 1950-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

hits 1 - 6 | 6 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