>> Amazon.co.jp
このページのQRコード

Logic in computer science : modelling and reasoning about systems

種類:
図書
責任表示:
Michael Huth, Mark Ryan
出版情報:
Cambridge : Cambridge University Press, 2000
著者名:
ISBN:
9780521652001 [0521652006] (: hard)  CiNii Books  Calil
9780521656023 [0521656028] (: pbk.)  CiNii Books  Calil
注記:
Includes bibliographical references (p. 375-377) and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料
1. Logic in computer science : modelling and reasoning about systems. 2nd ed. (: pbk)
Michael Huth, Mark Ryan , Cambridge University Press , 2004

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic in computer science : modelling and reasoning about systems

Huth, Michael, 1962-, Ryan, Mark

Cambridge University Press
7 図書 Clausal form logic : an introduction to the logic of computer reasoning

Richards, Tom

Addison-Wesley Pub. Co.
2 電子ブック Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, …

Brazilian Conference on Mathematical Logic, Carnielli, Walter A., D'Ottaviano, Itala M. L.,1944-

American Mathematical Society
8 図書 Deontic logic, agency, and normative systems : [Delta]EON '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 …

International Workshop on Deontic Logic in Computer Science, Brown, Mark A. (Mark Alan), 1939-, Carmo, José

Springer
3 図書 Computational logic

Berger, Ulrich, 1956-, Schwichtenberg, Helmut, 1942-, North Atlantic Treaty Organization. Scientific Affairs Division

Springer
9 図書 Mathematical logic for computer science

Ben-Ari, M., 1948-

Springer
4 図書 Solving higher-order equations : from logic to programming

Prehofer, Christian, 1967-

Birkhäuser
10 図書 Handbook of logic in computer science

Clarendon Press
5 図書 Reflection in rewriting logic : metalogical foundations and metaprogramming applications

Clavel, Manuel, 1969-

CSLI Publications
11 図書 Mathematical logic for computer science

Ben-Ari, M., 1948-

Prentice Hall
6 図書 Secure communicating systems : design, analysis, and implementation

Huth, Michael, 1962-

Cambridge University Press
12 図書 MATHEMATICAL LOGIC FOR COMPUTER SCIENCE

ZHONGWAN, LU

WORLD SCIENTIFIC