Computational logic

>> Google Books

Computational logic

フォーマット:

図書

責任表示:

edited by Ulrich Berger, Helmut Schwichtenberg

言語:

英語

出版情報:

Berlin ; Tokyo : Springer, c1999

形態:

444 p. ; 25 cm

著者名:

シリーズ名:

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

書誌ID:

BA4108308X

ISBN:

9783540645894 [3540645896]

子書誌情報

所蔵情報

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

詳細

主題:	Computer logic
分類・件名:	LCC : QA76.9.L63 DDC : 004/.01/5113 LCSH : Computer logic
LCCN:	99013850
注記:	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
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Digital simulation in operational research : a conference under the aegis of the Scientific Affairs Division of N.A.T.O., Hamburg, 6-10th September, 1965 Hollingdale, S. H., North Atlantic Treaty Organization. Scientific Affairs Division English Universities P.	7 図書 Lectures on finite element methods in continuum mechanics : a collection of lectures delivered at the Advanced Study Institute held at Laboratorio Nacional de … NATO Advanced Study Institute on Finite Element Methods in Continuum Mechanics, Oden, J. Tinsley (John Tinsley), 1936-, … [University of Alabama in Huntsville Press]
2 図書 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	8 図書 Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic … Springer-Verlag
3 図書 Rheological fundamentals of polymer processing Covas, J. A., North Atlantic Treaty Organization. Scientific Affairs Division Kluwer Academic Publishers	9 図書 Algorithms and model formulations in mathematical programming NATO Advanced Research Workshop Algorithms and Model Formulations in Mathematical Programming, Wallace, Stein W., 1956-, … Springer-Verlag
4 図書 New symmetry principles in quantum field theory Fröhlich, Jürg, North Atlantic Treaty Organization. Scientific Affairs Division Plenum Press	10 図書 Mössbauer spectroscopy in materials science Miglierini, Marcel, Petridis, Dimitris, North Atlantic Treaty Organization. Scientific Affairs Division Kluwer
5 図書 Fundamentals of tribology and bridging the gap between the macro- and micro/nanoscales North Atlantic Treaty Organization. Scientific Affairs Division, Bhushan, Bharat, 1949- Kluwer Academic Publishers	11 図書 Emission and scattering techniques : studies of inorganic molecules, solids, and surfaces : proceedings of the NATO Advanced Study Institute held at Alghero, … NATO Advanced Study Institute, Day, Peter, 1938-, North Atlantic Treaty Organization. Scientific Affairs Division D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston
6 図書 Neural computers NATO Advanced Research Workshop on Neural Computers, Eckmiller, Rolf, 1942-, Malsburg, Christoph von der, 1942-, North … Springer-Verlag	12 図書 Symposium on Probability Methods in Analysis : lectures delivered at a symposium at Loutraki, Greece, 22. 5.-4. 6. 1966 Symposium on Probability Methods in Analysis, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag