![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
New Generation Computing, Volume 15
Volume 15, Number 1, 1997
- Setsuo Arikawa, Michael M. Richter:
Special Issue on Algorithmic Learning Theory. 1-2 - Naoki Abe:
Towards Realistic Theories of Learning. 3-25 - Oksana Arnold, Klaus P. Jantke:
Inductive Program Synthesis for Theory Plan Generation. 27-58 - Christoph Globig, Klaus P. Jantke, Steffen Lange, Yasubumi Sakakibara:
On Case Based Learnability of Language. 39-83 - Akira Ishino, Akihiro Yamamoto:
Generalization in Typed Equational Programming and Their Application to Learning Functions. 85-103 - Alvis Brazma, Karlis Cerans:
Noise-Tolerant Efficient Inductive Synthesis of Regular Expressions from Good Examples. 105-140
Volume 15, Number 2, 1997
- Suzanne W. Dietrich, Changguan Fan:
On the Completeness of Naive Memoing in Prolog. 141-162 - Abdul Sattar, Randy Goebel:
Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. 163-186 - Yi-Dong Shen:
An Extended Variant of Atoms Loop Check for Positive Logic Programs. 187-204 - Alvaro A. A. Fernandes, M. Howard Williams, Norman W. Paton
:
A Logic-Based Integration of Active and Deductive Databases. 205-244
Volume 15, Number 3, 1997
- Carl Vogel
, Fred Popowich:
A Parametric Definition for a Family of Inheritance Reasoners. 247-292 - M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar:
Proving Termination of GHC Programs. 293-338 - Liangwei Xu, Masato Takeichi, Hideya Iwasaki
:
Relational Semantics for Locally Nondeterministic Programs. 339-362
Volume 15, Number 4, 1997
- Stefan Brüning:
Globally Linear Connection Method. 369-402 - Chiun-Chieh Hsu:
Mapping Two Complete Binary Trees Into the Star Graph with Quick Fault Recovery. 403-420 - Andreas Hamfelt, Jørgen Fischer Nilsson:
Towards a Logic Programming Methodology Based on Higher-Order Predicates. 421-448 - Jean-Marc Andreoli, Remo Pareschi
, Tiziana Castagnetti:
Static Analysis of Linear Logic Programming. 449-481
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.