Computational logic

>> Amazon.co.jp

このページのQRコード

Computational logic

種類:

図書

責任表示:

edited by Ulrich Berger, Helmut Schwichtenberg

出版情報:

Berlin ; Tokyo : Springer, 1999

著者名:

シリーズ名:

NATO ASI series ; Series F, Computer and systems sciences ; v. 165 <BA0006594X>

ISBN:

9783540645894 [3540645896]

注記:

Includes bibliographical references
'published in cooperation with NATO Scientific Affairs Division'
Proceedings of the NATO Advanced Study Institute on computational logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997

所蔵情報

子書誌情報

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

詳細

主題:	Computer logic
分類・件名:	NDC9 : 007.1 LCSH : Computer logic
LCCN:	99013850
TTLL:	eng
言語:	英語
形態:	444 p. ; 25 cm
書誌ID:	BA4108308X

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logics and models of concurrent systems NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Apt, Krzysztof R., 1949-, North Atlantic … Springer-Verlag	7 図書 Modulated structure materials NATO Advanced Study Institute on Modulated Structure Materials, Tsakalakos, Thomas, North Atlantic Treaty Organization. … M. Nijhoff
2 図書 Logic of computation NATO Advanced Study Institute on Logic of Computation, Schwichtenberg, Helmut, 1942- Springer	8 図書 Automatic speech analysis and recognition : proceedings of the NATO Advanced Study Institute held at Bonas, France, June 29-July 10, 1981 NATO Advanced Study Institute, Haton, Jean-Paul, 1943-, North Atlantic Treaty Organization. Scientific Affairs Division D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Boston
3 図書 The Orienting reflex in humans : an international conference sponsored by the Scientific Affairs Division of the North Atlantic Treaty Organization, … Kimmel, H. D., 1927-, Olst, E. H. van, Orlebeke, J. F., North Atlantic Treaty Organization. Scientific Affairs Division L. Erlbaum Associates, Distributed by Halsted Press	9 図書 Language hierarchies and interfaces : international summer school Bauer, Friedrich Ludwig, 1924-, Samelson, Klaus, 1918-, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag
4 図書 Methods in computational molecular physics Wilson, Stephen, 1950-, Diercksen, G. H. F., 1936-, NATO Advanced Study Institute on Methods in Computational Molecular … Plenum Press	10 図書 Program construction : international summer school Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag
5 図書 Neural computers NATO Advanced Research Workshop on Neural Computers, Eckmiller, Rolf, 1942-, Malsburg, Christoph von der, 1942-, North … Springer-Verlag	11 図書 Determinants and origins of aggressive behavior Wit, Jan de, 1928-, Hartup, Willard W., North Atlantic Treaty Organization. Scientific Affairs Division Mouton
6 図書 Ecosystem modeling as a management tool for the Black Sea Ivanov, Leonid I., Oguz, Temel, North Atlantic Treaty Organization. Scientific Affairs Division Kluwer Academic Publishers	12 図書 Engineering seismology and earthquake engineering NATO Advanced Study Institute, Sólnes, Júlíus, North Atlantic Treaty Organization. Scientific Affairs Division Noordhoff International Pub. Co.