close
1.

図書
図書
1. GI : Gesellschaft für Informatik e. V. 3. Jahrestagung, Hamburg, 8-10. Oktober 1973. Hrsg. im Auftrag der Gesellscahft für Informatik von Wilfried Brauer/ G. Goos and J. Hartmanis
Goos, Gerhard, 1937- ; Hartmanis, Juris
出版情報: Berlin : Springer, 1973  xi, 508 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 1
所蔵情報: loading…
2.

図書
図書
2. GI : Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9-12 Juli 1973. Hrsg. im Auftrag der Gesellschaft für Informatik von Karl-Heinz Böhling und Klaus Indermark
Goos, Gerhard, 1937- ; Hartmanis, Juris
出版情報: Berlin : Springer, 1973  vii, 322 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 2
所蔵情報: loading…
3.

図書
図書
3. GI : Gesellschaft für Informatik e. V. 3. Fachtagung Über Programmier-sprachen, Kiel, 5.-7. März 1974. Hrsg. von Bodo Schlender und Wolfgang Frielinghaus
G. Goos and J. Hartmanis
出版情報: Berlin : Springer, 1974  vi, 225 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 7
所蔵情報: loading…
4.

図書
図書
4. GI-NTG. Fachtagung Struktur und Betrieb von Rechensystemen , Braunschweig, 20-22. 3. 1974
hrsg. im Auftrag der GI und der NTG von H. O. Leilich
出版情報: Berlin : Springer, 1974  vi, 340 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 8
所蔵情報: loading…
5.

図書
図書
5. Automata, languages and programming, 2nd Colloquium, University of Saarbrücken, 2nd Colloquium, University of Saarbrücken, July 29-Auf. 2, 1974 /edited by Jacques Loeckx
Goos, Gerhard, 1937- ; Hartmanis, Juris ; Loeckx, Jacques, 1931-
出版情報: Berlin ; New York : Springer-Verlag, 1974  619 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 14
所蔵情報: loading…
6.

図書
図書
6. IFIP conference on optimization techniques, Novosibirsk, July 1-7, 1974 /edited by G. I. Marchuk
IFIP Conference on Optimization Techniques ; Goos, Gerhard, 1937- ; Hartmanis, Juris ; Marchuk, Guriĭ Ivanovich, 1925-
出版情報: Berlin : Springer-Verlag, 1975  viii, 507 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 27
所蔵情報: loading…
7.

図書
図書
7. Computational complexity theory
Juris Hartmanis, editor
出版情報: Providence, R.I. : American Mathematical Society, c1989  ix, 128 p. ; 26 cm
シリーズ名: Proceedings of symposia in applied mathematics ; v. 38
所蔵情報: loading…
目次情報: 続きを見る
Overview of computational complexity theory / J. Hartmanis
The isomorphism conjecture and sparse sets / S. R. Mahaney
Restricted relativizations of complexity classes / R. V. Book
Descriptive and computational complexity / N. Immerman
Complexity issues in cryptography / A. L. Selman
Interactive proof systems / S. Goldwasser
Overview of computational complexity theory / J. Hartmanis
The isomorphism conjecture and sparse sets / S. R. Mahaney
Restricted relativizations of complexity classes / R. V. Book
8.

図書
図書
8. Algebraic structure theory of sequential machines
J. Hartmanis, R.E. Stearns
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1966  viii, 211 p. ; 24 cm
シリーズ名: Prentice-Hall international series in applied mathematics
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Agents and Peer-to-Peer Computing
Gianluca Moro, Juris Hartmanis, Claudio Sartori, Munindar P. Singh, Munindar Paul Singh
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Mechanizing Mathematical Reasoning
Gerhard Goos, Juris Hartmanis, Dieter Hutter, J?rg H. Siekmann, Werner Stephan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation / Alessandro Armando ; Luca Compagna ; Silvio Ranise
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective / Claudio Castellini ; Enrico Giunchiglia ; Fausto Giunchiglia ; Armando Tacchella
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology / Howard Barringer ; Dov Gabbay ; John Woods
Footprints of Conditionals / Christoph Beierle ; Gabriele Kern-Isberner
Time for Thinking Big in AI / Wolfgang Bibel
Solving First-Order Constraints over the Monadic Class / Dimitri Chubarov ; Andrei Voronkov
From MKRP to Ω mega / Manfred Kerber
Decidable Variants of Higher-Order Unification / Manfred Schmidt-Schauß
Normal Natural Deduction Proofs (in Non-classical Logics) / Wilfried Sieg ; Saverio Cittadini
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! / Claus-Peter Wirth
The Flowering of Automated Reasoning / Larry Wos
Applications of Logics
Description Logics as Ontology Languages for the Semantic Web / Franz Baader ; Ian Horrocks ; Ulrike Sattler
Living Books, Automated Deduction and Other Strange Things / Peter Baumgartner ; Ulrich Furbach
An Essay on Sabotage and Obstruction / Johan van Benthem
Bridging Theorem Proving and Mathematical Knowledge Retrieval / Christoph Benzmuller ; Andreas Meier ; Volker Sorge
Formal Description of Natural Languages: An HPSG Grammar of Polish / Leonard Bolc
Psychological Validity of Schematic Proofs / Mateja Jamnik ; Alan Bundy
Natural Language Proof Explanation / Armin Fiedler
Why Proof Planning for Maths Education and How? / Erica Melis
Formal Methods and Security
Towards MultiMedia Instruction in Safe and Secure Systems / Bernd Krieg-Brückner
The Impact of Models in Software Development / Manfred Broy
Formal Software Development in MAYA / Serge Autexier
A Unification Algorithm for Analysis of Protocols with Blinded Signatures / Deepak Kapur ; Paliath Narendran ; Lida Wang
Exploiting Generic Aspects of Security Models in Formal Developments / Heiko Mantel ; Axel Schairer
Verification Support Environment / Bruno Langenstein ; Andreas Nonnengart ; Georg Rock
Agents and Planning
SAT-Based Cooperative Planning: A Proposal / Marco Benedetti ; Luigia Carlucci Aiello
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots / Michael Beetz
Agents with Exact Foreknowledge / Jim Doran
Self-organisation in Holonic Multiagent Systems / Klaus Fischer
Author Index
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼