Groups

Logical Books

1–1 of 3

Information about high-quality scientific books and textbooks published by researchers for researchers and students in Computer Science and other academic fields.

0 selected

10/8/14

New Logical Book: Types 2013 Proceedings

Now available Types for Proofs and Programs LIPIcs Proceedings 19th International Conference TYPES

unread,

New Logical Book: Types 2013 Proceedings

Now available Types for Proofs and Programs LIPIcs Proceedings 19th International Conference TYPES

10/8/14

6/23/14

Books for Programming in Logic

Are you logically experienced? New books for you: Kowalski - Logic for Problem Solving, Revisited

unread,

Books for Programming in Logic

Are you logically experienced? New books for you: Kowalski - Logic for Problem Solving, Revisited

6/23/14

1/9/15

[Logical Books] Kowalski revisits Logic for Problem Solving

Logic for Problem Solving, Revisited by Robert Kowalski ISBN 9783837036299 Also available as E-Book

unread,

[Logical Books] Kowalski revisits Logic for Problem Solving

Logic for Problem Solving, Revisited by Robert Kowalski ISBN 9783837036299 Also available as E-Book

1/9/15

Search

Clear search

Close search

Google apps

Main menu