Journals in DBLP

IEEE Trans. Computers
1976, volume: 25, number: 4

1. Alistair D. C. Holden
   Trends in Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1976, v:25, n:4, pp:313-316 [Journal]
   
2. George W. Ernst
   A Definition-Driven Theorem Prover. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1976, v:25, n:4, pp:317-322 [Journal]
   
3. David Gelperin
   A Resolution-Based Proof Procedure Using Deletion-Directed Search. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1976, v:25, n:4, pp:323-327 [Journal]
   
4. Raymond Reiter
   A Semantically Guided Deductive System for Automatic Theorem Proving. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1976, v:25, n:4, pp:328-334 [Journal]
   
5. Donald W. Loveland, Mark E. Stickel
   A Hole in Goal Trees: Some Guidance from Resolution Theory. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1976, v:25, n:4, pp:335-341 [Journal]
   
6. Erik Sandewall
   Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1976, v:25, n:4, pp:342-346 [Journal]
   
7. Daniel G. Bobrow, Ben Wegbreit
   A Model for Control Structures for Artificial Intelligence Programming Languages. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1976, v:25, n:4, pp:347-353 [Journal]
   
8. Warren Teitelman
   Clisp: Conversational Lisp. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1976, v:25, n:4, pp:354-357 [Journal]
   
9. Kenneth Biss, Robert T. Chien, Fred Stahl, Steven J. Weissman
   Semantic Modeling for Deductive Question-Answering. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1976, v:25, n:4, pp:358-366 [Journal]
   
10. Robert C. Moore
    D-Script: A Computational Theory of Descriptions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:4, pp:366-373 [Journal]
    
11. Aravind K. Joshi, Ralph M. Weischedel
    Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:4, pp:374-389 [Journal]
    
12. Chitoor V. Srinivasan
    The Architecture of Coherent Information System: A General Problem Solving System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:4, pp:390-402 [Journal]
    
13. Donald A. Waterman, Allen Newell
    PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:4, pp:402-413 [Journal]
    
14. Lee D. Erman, Richard D. Fennell, Victor R. Lesser, Raj Reddy
    System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architectures for AI. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:4, pp:414-421 [Journal]
    
15. Raj Reddy, Lee D. Erman, Richard D. Fennell, Richard B. Neely
    The Hearsay- I Speech Understanding System: An Example of the Recognition Process. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:4, pp:422-431 [Journal]
    
16. Donald E. Walker
    Speech Understanding Through Syntactic and Semantic Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:4, pp:432-439 [Journal]
    
17. Gerald J. Agin, Thomas O. Binford
    Computer Description of Curved Objects. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:4, pp:439-449 [Journal]
    
18. Frank O'Gorman, M. B. Clowes
    Finding Picture Edges Through Collinearity of Feature Points. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:4, pp:449-456 [Journal]