> Details

Progress in computer science and applied logic

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Bookmarks

Media type: Serial; Monograph Series
Title: Progress in computer science and applied logic : PCS
Published: Boston, Mass.; Basel; Berlin: Birkhäuser, 1989-
Publication information: 8.1989 -
Language: English
ISSN: 2297-0576
Keywords: Monografische Reihe
Origination:
Footnote: Unter diesem Titel auch spätere Auflagen einzelner Ausgaben des früheren Titels erschienen

This is the bibliographic rereference for a superordinate order. SLUB holdings see "Multivolume Work" or "Publishers' Series"

Li, Wei [Author] ; Li, Wei
Mathematical logic foundations for information science Wei Li
Basel; Boston; Berlin: Birkhäuser, 2010

Khoussainov, Bakhadyr [Author]; Nerode, Anil [Author]
Automata theory and its applications Bakhadyr Khoussainov; Anil Nerode
Boston; Basel; Berlin: Birkhäuser, 2001

Knott, Gary D. [Author]
Interpolating cubic splines Gary D. Knott
Boston; Basel; Berlin: Birkhäuser, c 2000

Snyder, Wayne [Author]
A proof theory for general unification Wayne Snyder
Boston; [Stuttgart] [u.a.]: Birkhäuser, 1991

Raatz, Stan [Author]
Graph-based proof procedures for Horn clauses Stan Raatz
Boston; [Stuttgart] [u.a.]: Birkhäuser, 1990

Greene, Daniel H. [Author]; Knuth, Donald Ervin [Author]
Mathematics for the analysis of algorithms Daniel H. Greene; Donald E. Knuth
Boston [u.a.]: Birkhäuser, 1990

Schöning, Uwe [Author] ; Schöning, Uwe; Schöning, Uwe
Logic for computer scientists Uwe Schöning
Boston; [Stuttgart] [u.a.]: Birkhäuser, 1989