SubTitle

modelling and reasoning about systems

Author Statement

Michael Huth, Mark Ryan

Edition

2nd ed

Collation

xiv, 427 P.: Illus

Addition

,

Title

Logic in computer science

LC Class

005

LC Number

.1015113

LC CutterNumber

H 979 L

تاريخ ورود اطلاعات

1393/11/26

Publication Year

2004

Birth-Death

1962

LC Date

Ed.2

Publication

Cambridge University Press

Subject

Computer logic,Logic programming

DocumentNumber

4816

ISBNN

,

RecordNumber

7761