Gå direkt till innehållet
Computer Science Logic
Spara

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.
Undertitel
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
Upplaga
1995 ed.
ISBN
9783540600176
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
18.7.1995
Sidor
553