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

>> Amazon.co.jp

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 図書 P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms Thayse, André, 1940- Springer-Verlag	7 図書 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia Crossley, John N., 1937-, Australian Mathematical Society Springer-Verlag
2 図書 From modal logic to deductive databases : introducing a logic based approach to artificial intelligence Thayse, André, 1940-, Gochet, Paul Wiley	8 図書 Symbolic logic and mechanical theorem proving Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- Academic Press
3 図書 FROM STANDARD LOGIC TO LOGIC PROGRAMMING. : INTRODUCTING A LOGIC BASED APPROACH TO ARTIFICIAL INTELLIGENCE THAYSE, A, GOCHET, P J.WILEY	9 図書 First-order logic and automated theorem proving Fitting, Melvin, 1942- Springer-Verlag
4 図書 From natural language processing to logic for expert systems : a logic based approach to artificial intelligence Thayse, André, 1940-, Binot, Jean-Louis Wiley	10 図書 First-order logic and automated theorem proving Fitting, Melvin, 1942- Springer-Verlag
5 図書 Discrete and switching functions Davio, Marc, Deschamps, Jean-Pierre, 1945-, Thayse, André, 1940- Georgi Pub. Co., McGraw-Hill International Book Co.	11 図書 Automated theorem-proving in non-classical logics Thistlewaite, Paul B, McRobbie, M. A. (Michael A.), Meyer, Robert K Pitman, Wiley
6 図書 Boolean calculus of differences Thayse, André, 1940- Springer-Verlag	12 図書 Algebraic logic Gindikin, Semen Grigorévich, Silverman, Robert H. Springer-Verlag