Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact
| can't find it |

| browse books |
books
 

books

| book details |

Logic in Computer Science: Symposium Proceedings: 10th: LICS 95

By (author) Dexter Kozen, Edited by Dexter Kozen





This book is currently unavailable. Enquire to check if we can source a used copy

| book description |

The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a compl

| product details |



Normally shipped | Enquiries only
Publisher | IEEE Computer Society Press,U.S.
Published date | 31 Jan 1996
Language |
Format | Paperback / softback
Pages | 528
Dimensions | 279 x 222 x 0mm (L x W x H)
Weight | 1179g
ISBN | 978-0-8186-7050-3
Readership Age |
BISAC | computers / programming languages / general

| other options |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

Living in a hut in 21st Century South Africa

Monde Ndandani
Paperback / softback
142 pages
was: R 220.95
now: R 198.95
Usually delivered in 6-12 days

Survive the AI Apocalypse: A guide for solutionists

Bronwen Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming
Let's stare the future down and, instead of fearing AI, become solutionists.
 
Copyright 2025 |  terms and conditions