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. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 271 <BA00009279>

著者名:

ISBN:

9783540182177 [3540182179] (: gw)
9780387182179 [0387182179] (: us)

書誌ID:

BA00834884

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Bibliography: p. [121]-125
主題:	プログラミング(電子計算機); 記号論理学
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions Snyers, Dominique., Thayse, Andre., SpringerLink (Online service)	7 電子ブック P-Functions and Boolean Matrix Factorization Thayse SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック From Logic Design to Logic Programming Snyers SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia (: Germany ; : U.S.) Crossley, John N., 1937-, Australian Mathematical Society Springer-Verlag
3 図書 P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms (: gw ; : us) Thayse, André, 1940- Springer-Verlag	9 電子ブック Theorem Provers in Circuit Design Kumar, Kropf, Thomas, Kumar, Ramayya SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Theorem Proving in Higher Order Logics TPHOLs '99, Bertot, Yves, Dowek, Gilles, Hirschowitz, Andre, Paulin, Christine, Thery, Laurent SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 A Survey of verification techniques for parallel programs (: gw ; : us) Barringer, Howard, 1951- Springer-Verlag
5 図書 Logic : form and function : the mechanization of deductive reasoning Robinson, J. A. (John Alan) University Press	11 電子ブック P-Functions and Boolean Matrix Factorization : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms Thayse, A., SpringerLink (Online service)
6 図書 Boolean calculus of differences (: gw ; : us) Thayse, André, 1940- Springer-Verlag	12 図書 Symbolic logic and mechanical theorem proving Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- Academic Press

1

2

3

4

5

6

7

8

9

10

11

12