RecordNumber

96124

Author

Huth, Michael

Birth-Death

1962-

Title

Logic in computer science : modelling an​d reasoning about systems

Author Statement

Michael Huth , Mark Ryan

Publication

Cambridge : Cambridge University

Publication Year

с2004

Collation

xiv, 427 p. : ill.

Index

Includes index

Bibliography

p. 414- 417

Subject

Computer logic , Logic programming

ADDED ENTRIES

AU Ryan, Mark, 1962- , TI

Main Class

005

Sub Class

.1015113

Cutter no

H979l

ISBN

978-0-521-54310-1

واردكننده اطلاعات

شيرين السادات خليفه سلطاني