Gå direkte til innholdet
Computer Science Logic
Spar

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.
Undertittel
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
Opplag
1995 ed.
ISBN
9783540600176
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
18.7.1995
Antall sider
553