Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 10
Volume 10, Numbers 1, February 1978
- Dominique Pastre:
Automatic Theorem Proving in Set Theory. 1-27 - Jean-Louis Laurière:
A Language and a Program for Stating and Solving Combinatorial Problems. 29-127
Volume 10, Numbers 2, April 1978
- Alan Bundy:
Will it Reach the Top? Prediction in the Mechanics World. 129-146 - Patrick H. Winston:
Learning by Creating and Justifying Transfer Frames. 147-172 - Gérard M. Baudet:
On the Branching Factor of the Alpha-Beta Pruning Algorithm. 173-199
- Hans J. Berliner:
A Chronology of Computer Chess and its Literature. 201-214
- Frank O'Gorman:
Edge Detection Using Walsh Functions. 215-223
Volume 10, Numbers 3, November 1978
- Ralph M. Weischedel, Wilfried M. Voge, Mark James:
An Artificial Intelligence Approach to Language Instruction. 225-240 - C. Cordell Green, David R. Barstow:
On Program Synthesis Knowledge. 241-279 - Frank M. Brown:
Towards the Automation of Set Theory and its Logic. 281-316
a service of 
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.
last updated on 2024-07-02 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
