Blank Cover Image
タイトル、所在を表示します

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>
書誌ID:
BA00834884
ISBN:
9783540182177 [3540182179] (: gw)
9780387182179 [0387182179] (: us)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Discrete and switching functions

Davio, Marc, Deschamps, Jean-Pierre, 1945-, Thayse, André, 1940-

Georgi Pub. Co., McGraw-Hill International Book Co.
7 図書 First-order logic and automated theorem proving

Fitting, Melvin, 1942-

Springer-Verlag
2 図書 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
8 図書 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

Logic Programming Conference, 新世代コンピュータ技術開発機構, 和田, 英一(1931-)

Springer-Verlag
3 図書 Symbolic logic and mechanical theorem proving

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-

Academic Press
9 図書 Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985

Logic Programming Conference, 和田, 英一(1931-)

Springer-Verlag
4 図書 A Survey of verification techniques for parallel programs

Barringer, Howard, 1951-

Springer-Verlag
10 図書 Algebraic logic

Gindikin, Semen Grigorévich, Silverman, Robert H.

Springer-Verlag
5 図書 Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

Bertot, Yves, Castéran, P. (Pierre)

Springer
11 図書 Distribution theorems of L-functions

Joyner, David, 1959-

Longman Scientific & Technical, Copublished in the U.S. with Wiley
6 図書 Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

Parikh, Rohit, 1936-

Springer-Verlag
12 図書 Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Schubert, Thomas E., &hellip;

Springer-Verlag