Logic and algorithms : with applications to the computer and information sciences | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Logic and algorithms : with applications to the computer and information sciences

種類:: 図書
責任表示:: Robert R. Korfhage
出版情報:: New York : Wiley, c1966
著者名:: Korfhage, Robert R. <DA03168639>
ISBN:: 9780471503668 [0471503665]
注記:: Includes bibliographical references and index

所蔵情報

Loading availability information

子書誌情報

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

詳細

主題:	Algorithms; Logic, Symbolic and mathematical
分類・件名:	LCC : QA9 DDC : 164 LCSH : Logic, Symbolic and mathematical LCSH : Algorithms
LCCN:	66025225
TTLL:	eng
言語:	英語
形態:	xii, 194 p. : ill. ; 24 cm
書誌ID:	BA0678606X

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Propositional logic : deduction and algorithms Kleine Büning, Hans, 1948-, Lettman, Teodor Cambridge University Press	7 図書 Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht Ehrenfeucht, Andrzej, Mycielski, Jan, 1932-, Rozenberg, Grzegorz, Salomaa, Arto, 1934- Springer
2 図書 Mathematical logic for computer science Ben-Ari, M., 1948- Springer	8 電子ブック 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
3 図書 Mathematical logic for computer science Ben-Ari, M., 1948- Prentice Hall	9 図書 Logic minimization algorithms for VLSI synthesis Brayton, Robert King Kluwer Academic Publishers
4 図書 Mathematical logic for computer science Lu, Zhongwan World Scientific	10 図書 Algorithms for computer algebra Geddes, K. O. (Keith O.), 1947-, Czapor, S. R. (Stephen R.), 1957-, Labahn, G. (George), 1951- Kluwer Academic
5 図書 Mathematical logic and theoretical computer science Kueker, D. W., 1943-, Lopez-Escobar, E. G. K. (Edgar G. K.), 1937-, Smith, Carl, 1950-, University of Maryland, College … M. Dekker	11 図書 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, Richter, Michael M., 1938- Springer-Verlag
6 図書 Epistemic logic for AI and computer science Meyer, John-Jules, Hoek, W. van der Cambridge University Press	12 電子ブック Fast algorithms for structured matrices : theory and applications : AMS-IMS-SIAM Joint Summer Research Conference on Fast Algorithms in Mathematics, Computer … AMS-IMS-SIAM Joint Summer Research Conference on Fast Algorithms in Mathematics, Computer Science, and Engineering, … American Mathematical Society ;