Siirry suoraan sisältöön
Computer Science Logic
Tallenna

Computer Science Logic

All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems.
Alaotsikko
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
Painos
1995 ed.
ISBN
9783540600176
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
18.7.1995
Sivumäärä
553