From logic design to logic programming : theorem proving techniques and P-functions

QRコード(所蔵情報)

From logic design to logic programming : theorem proving techniques and P-functions

フォーマット:

図書

責任表示:

Dominique Snyers, André Thayse

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1987

形態:

iv, 125 p. : ill. ; 25 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 271 <BA00009279>

書誌ID:

BA00834884

ISBN:

9783540182177 [3540182179] (: gw)

9780387182179 [0387182179] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	プログラミング(電子計算機); 記号論理学
分類・件名:	LCC : QA76.9.A96 DDC : 511.3 NDC8 : 007.64 NDC8 : 410.96 LCSH : Automatic theorem proving LCSH : Algorithms LCSH : Logic programming NDLSH : プログラミング(電子計算機) NDLSH : 記号論理学
LCCN:	87020773
注記:	Bibliography: p. [121]-125
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 From modal logic to deductive databases : introducing a logic based approach to artificial intelligence Thayse, André, 1940-, Gochet, Paul Wiley	7 図書 Automated theorem-proving in non-classical logics Thistlewaite, Paul B, McRobbie, M. A. (Michael A.), Meyer, Robert K Pitman, Wiley
2 図書 Discrete and switching functions Davio, Marc, Deschamps, Jean-Pierre, 1945-, Thayse, André, 1940- Georgi Pub. Co., McGraw-Hill International Book Co.	8 図書 Logics of programs : Brooklyn, June 17-19, 1985 : proceedings Parikh, Rohit, 1936- Springer-Verlag
3 図書 Logic : form and function : the mechanization of deductive reasoning Robinson, J. A. (John Alan) University Press	9 図書 From logic to logic programming Doets, Kees MIT Press
4 図書 Boolean calculus of differences Thayse, André, 1940- Springer-Verlag	10 図書 Current trends in hardware verification and automated theorem proving Subrahmanyam, P. A., Birtwistle, G. M. (Graham M.) Springer-Verlag
5 図書 Symbolic logic and mechanical theorem proving Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- Academic Press	11 図書 Parallel logic programming techniques Taylor, Stephen, 1956- Prentice-Hall International
6 図書 A Survey of verification techniques for parallel programs Barringer, Howard, 1951- Springer-Verlag	12 図書 Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 Logic Programming Conference, 和田, 英一(1931-) Springer-Verlag