Logic in computer science: Modelling and reasoning about systems [Book Review]

Journal of Logic, Language and Information 16 (1):117-120 (2006)
  Copy   BIBTEX

Abstract

Book review

Categories

Keywords

Reprint years

2007

DOI

10.1007/s10849-006-9017-y

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic in Computer Science: Modelling and Reasoning about Systems.Michael Huth & Mark Ryan - 2004 - Cambridge University Press.
Henry Prakken, logical tools for modelling legal argument: A study of defeasible reasoning in law. [REVIEW]L. M. M. Royakkers - 2000 - Journal of Logic, Language and Information 9 (3):379-387.
Gems of theoretical computer science, Uwe schöning and Randall Pruim.Rohit Parikh - 2000 - Journal of Logic, Language and Information 9 (1):131-132.
Book review. [REVIEW]Patrick Blackburn - 1997 - Journal of Logic, Language and Information 6 (3):353-355.
Book Review. [REVIEW]Chris Brink - 1997 - Journal of Logic, Language and Information 6 (3):337-338.
Book review. [REVIEW]Steven Lindell & Scott Weinstein - 2007 - Journal of Logic, Language and Information 16 (2):233-239.
Book review. [REVIEW]Chris Brink - 1997 - Journal of Logic, Language and Information 6 (3):337-338.
Book review. [REVIEW]Gilad Mishne - 2004 - Journal of Logic, Language and Information 14 (1):123-125.
Book review. [REVIEW]Natasha Alechina - 1997 - Journal of Logic, Language and Information 6 (3):342-344.
Book Review. [REVIEW]Natasha Alechina - 1997 - Journal of Logic, Language and Information 6 (3):342-344.

Analytics

Added to PP
2009-01-28

Downloads
47 (#347,838)

6 months
9 (#356,105)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Goranko
Stockholm University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references