Computer Science
The World As Information
Hypertext
Situation Theory and Its Applications, Volume 3
Parallel Natural Language Processing
Inheritance Theory
Chess and Machine Intuition
Computer
Language, Proof, and Logic
Advances in Connectionist and Neural Computation Theory Vol. 1
Advances in Connectionist and Neural Computation Theory Vol. 2
Switching Codes
Situation Theory and Its Applications, Volume 2
Tarski’s World: Revised and Expanded
Vicious Circles
Computers and Society
Finite-State Morphology
Law, Computer Science, and Artificial Intelligence
Digital Technology and Democratic Theory
Language and the Rise of the Algorithm
Fundamentals of Expert Systems Technology
Specifying Syntactic Structures
Self-Reference
Holding On to Reality
Perspectives on Contexts
Principles of Knowledge Representation
A Compendium of Machine Learning I
Logic Programming
CALL and The Learning Community
Multimedia CALL
Grammatical Interfaces in HPSG
Human Factors in Information Systems
Human Factors in Information Systems
Human Factors in Information Systems
Human Factors in Management Information Systems
Computers and Law
Conversation and Community
Videogames and Art
New Directions for Database Systems
Situation Theory and Its Applications, Volume 1
Blackboard Systems
The Political Mapping of Cyberspace
Language and Learning for Robots
Logic Colloquium ’92
Online Deliberation
Language at Work
Reliability in Computer System Design
Partiality, Modality and Nonmonotonicity
Interoperability
SpecLab
Handbook for Language Engineers
Advances in Control Networks and Large Scale Parallel Distributed Processing Models
Network Models for Control and Processing
Human Values and the Design of Computer Technology
An Essay on Contraction
Intelligent Tutoring Systems
Natural Language Processing in the 1980s
Trends in Functional Programming Volume 2
Trends in Functional Programming Volume 4
Information Systems Implementation
The Tbilisi Symposium on Logic, Language and Computation
Logics of Time and Computation
Teaching Knowledge and Intelligent Tutoring
Socializing the Human-Computer Environment
Empirical Studies of Programmers
Creative Intelligences
Machine-Tractable Dictionaries
Disambiguation of Rich Inflection
Binding Time
Trends in Functional Programming Volume 3
Advances in Human-Computer Interaction Volume 1
Advances in Human-Computer Interaction Volume 2
Advances in Human-Computer Interaction Volume 3
How We Became Posthuman
My Mother Was a Computer
Studying Social Networks
The Virtual Classroom
Progress in Robotics and Intelligent Systems, Volume One
Progress in Robotics and Intelligent Systems, Volume Two
Ada Lovelace
Computers and Writing
Visual Language for the World Wide Web
Planning, Geometry, and Complexity of Robot Motion
Trends in Functional Programming 10
Connectionism and Meaning
Operations Research and Artificial Intelligence
The Art and Science of Documentation Management
Mathematical Reasoning with Diagrams
Attribute-Value Logic and the Theory of Grammar
Reckoning with Matter
Learnable Classes of Categorial Grammars
Chromatic Algorithms
Collected Papers of Martin Kay
Verbmobil
Multisensor Integration and Fusion for Intelligent Machines and Systems
Computers for Educational Administrators
Companion to the Papers of Donald Knuth
Digital Typography
Knuth par Knuth
Literate Programming
Selected Papers on Analysis of Algorithms
Selected Papers on Computer Languages
Selected Papers on Computer Science
Selected Papers on Design of Algorithms
Selected Papers on Discrete Mathematics
Things a Computer Scientist Rarely Talks About
Éléments pour une histoire de l’informatique
Presupposition and Anaphora
The Economics of Attention
Artificial Intelligence and Education, Volume One
Artificial Intelligence and Education, Volume Two
Learning with Computers
Digital Experience Design
Trends in Functional Programming Volume 1
Trends in Functional Programming Volume 5
Recursive Algorithms
Adapting Performance Between Stage and Screen
The Semantics of Destructive LISP
Defending AI Research
The Art and Science of Computer Animation
Computers and Art
Mac 3D
Principles of Modelling and Rendering with 3D Studio
Online Help
Creative Content for the Web
Critical Terms for Media Studies
Computers and Language
IT for Learning Enhancement
IT for Learning Enhancement
Trends in Functional Programming Volume 8
Trends in Functional Programming Volume 9
Minds, Brains and Computers
The Theory of the Artificial
Cyberscience 2.0
Advances in Human-Computer Interaction Volume 5
Trends in Functional Programming Volume 7
The Apple II Age
The Psychology of Menu Selection
Building a Deductive Database
Mathematical Intelligent Learning Environments
Progress in Neural Networks, Volume Six
Progress in Neural Networks, Volume Three
Progress in Neural Networks, Volume Two
Progress in Neural Networks: Volume One
The Logic Programming Tutor
The Transparent Prolog Machine
Artificial Intelligence and Business Management
Artificial Intelligence and Software Engineering
Computers and Creativity
Engineering Artificial Intelligence Software
A New Guide to Artificial Intelligence
Forms of Representation
The Net Effect
Grammatical Competence and Parsing Performance
Redefining Geek
The New Russia
Perspectives on the Computer Revolution
Connectionism and Psychology
Putting Linguistics into Speech Recognition
Artificial Intelligence: Applications for Business
Image Understanding
Image Understanding
AI Tools and Techniques
Genesis Redux
Managing Computer Impact
A History of the Internet and the Digital Future
Development through Technology Transfer
Progress in Computer Graphics
Time Warps, String Edits, and Macromolecules
Computers and Typography
Computers and Typography
Human Factors in Computer Systems
Social Theory After the Internet
Directions and Implications of Advanced Computing
Computing Taste
Logic, Language and Computation
Lectures on Contemporary Syntactic Theories
Connectionist Natural Language Processing
Sparks of Innovation in Human-Computer Interaction
Words on the Web
Jacy
Empirical Studies of Programmers
Empirical Studies of Programmers
Empirical Studies of Programmers
MARCEL
Life Out of Sequence
Computers in Education
The Philosopher of Palo Alto
Communication Patterns and Textual Forms
Logic Programming
Machinations
From Counterculture to Cyberculture
Advances in Distributed and Parallel Processing, Volume One
Image Understanding
Foundations of Real World Intelligence
Exploring Logical Dynamics
Trends in Functional Programming Volume 6
Digital Ego
Human Factors and Interactive Computer Systems
Connectionist Language Generator
Reflections on Artificial Intelligence
Geometry and Meaning
Advances in Logic Programming and Automated Reasoning
Progress in Neural Networks, Volume Five
Logical Derivation of Computer Programs
Science in the Age of Computer Simulation
Computational Models of American Speech
Knowledge Acquisition from Databases
Cognition, Computing, and Cooperation
Requirements for a Software Engineering Environment
Software Specification
Routing, Placement, and Partitioning
Progress in Computer-Aided VLSI Design, Volume Three
Progress in Computer-Aided VLSI Design, Volume Two
Progress in Simulation, Volume One
Progress in Simulation, Volume Two
VLSI Fault Modeling and Testing Techniques
Hypertext
Situation Theory and Its Applications, Volume 3
Parallel Natural Language Processing
Inheritance Theory
Chess and Machine Intuition
Computer
Language, Proof, and Logic
Advances in Connectionist and Neural Computation Theory Vol. 1
Advances in Connectionist and Neural Computation Theory Vol. 2
Switching Codes
Situation Theory and Its Applications, Volume 2
Tarski’s World: Revised and Expanded
Vicious Circles
Computers and Society
Finite-State Morphology
Law, Computer Science, and Artificial Intelligence
Digital Technology and Democratic Theory
Language and the Rise of the Algorithm
Fundamentals of Expert Systems Technology
Specifying Syntactic Structures
Self-Reference
Holding On to Reality
Perspectives on Contexts
Principles of Knowledge Representation
A Compendium of Machine Learning I
Logic Programming
CALL and The Learning Community
Multimedia CALL
Grammatical Interfaces in HPSG
Human Factors in Information Systems
Human Factors in Information Systems
Human Factors in Information Systems
Human Factors in Management Information Systems
Computers and Law
Conversation and Community
Videogames and Art
New Directions for Database Systems
Situation Theory and Its Applications, Volume 1
Blackboard Systems
The Political Mapping of Cyberspace
Language and Learning for Robots
Logic Colloquium ’92
Online Deliberation
Language at Work
Reliability in Computer System Design
Partiality, Modality and Nonmonotonicity
Interoperability
SpecLab
Handbook for Language Engineers
Advances in Control Networks and Large Scale Parallel Distributed Processing Models
Network Models for Control and Processing
Human Values and the Design of Computer Technology
An Essay on Contraction
Intelligent Tutoring Systems
Natural Language Processing in the 1980s
Trends in Functional Programming Volume 2
Trends in Functional Programming Volume 4
Information Systems Implementation
The Tbilisi Symposium on Logic, Language and Computation
Logics of Time and Computation
Teaching Knowledge and Intelligent Tutoring
Socializing the Human-Computer Environment
Empirical Studies of Programmers
Creative Intelligences
Machine-Tractable Dictionaries
Disambiguation of Rich Inflection
Binding Time
Trends in Functional Programming Volume 3
Advances in Human-Computer Interaction Volume 1
Advances in Human-Computer Interaction Volume 2
Advances in Human-Computer Interaction Volume 3
How We Became Posthuman
My Mother Was a Computer
Studying Social Networks
The Virtual Classroom
Progress in Robotics and Intelligent Systems, Volume One
Progress in Robotics and Intelligent Systems, Volume Two
Ada Lovelace
Computers and Writing
Visual Language for the World Wide Web
Planning, Geometry, and Complexity of Robot Motion
Trends in Functional Programming 10
Connectionism and Meaning
Operations Research and Artificial Intelligence
The Art and Science of Documentation Management
Mathematical Reasoning with Diagrams
Attribute-Value Logic and the Theory of Grammar
Reckoning with Matter
Learnable Classes of Categorial Grammars
Chromatic Algorithms
Collected Papers of Martin Kay
Verbmobil
Multisensor Integration and Fusion for Intelligent Machines and Systems
Computers for Educational Administrators
Companion to the Papers of Donald Knuth
Digital Typography
Knuth par Knuth
Literate Programming
Selected Papers on Analysis of Algorithms
Selected Papers on Computer Languages
Selected Papers on Computer Science
Selected Papers on Design of Algorithms
Selected Papers on Discrete Mathematics
Things a Computer Scientist Rarely Talks About
Éléments pour une histoire de l’informatique
Presupposition and Anaphora
The Economics of Attention
Artificial Intelligence and Education, Volume One
Artificial Intelligence and Education, Volume Two
Learning with Computers
Digital Experience Design
Trends in Functional Programming Volume 1
Trends in Functional Programming Volume 5
Recursive Algorithms
Adapting Performance Between Stage and Screen
The Semantics of Destructive LISP
Defending AI Research
The Art and Science of Computer Animation
Computers and Art
Mac 3D
Principles of Modelling and Rendering with 3D Studio
Online Help
Creative Content for the Web
Critical Terms for Media Studies
Computers and Language
IT for Learning Enhancement
IT for Learning Enhancement
Trends in Functional Programming Volume 8
Trends in Functional Programming Volume 9
Minds, Brains and Computers
The Theory of the Artificial
Cyberscience 2.0
Advances in Human-Computer Interaction Volume 5
Trends in Functional Programming Volume 7
The Apple II Age
The Psychology of Menu Selection
Building a Deductive Database
Mathematical Intelligent Learning Environments
Progress in Neural Networks, Volume Six
Progress in Neural Networks, Volume Three
Progress in Neural Networks, Volume Two
Progress in Neural Networks: Volume One
The Logic Programming Tutor
The Transparent Prolog Machine
Artificial Intelligence and Business Management
Artificial Intelligence and Software Engineering
Computers and Creativity
Engineering Artificial Intelligence Software
A New Guide to Artificial Intelligence
Forms of Representation
The Net Effect
Grammatical Competence and Parsing Performance
Redefining Geek
The New Russia
Perspectives on the Computer Revolution
Connectionism and Psychology
Putting Linguistics into Speech Recognition
Artificial Intelligence: Applications for Business
Image Understanding
Image Understanding
AI Tools and Techniques
Genesis Redux
Managing Computer Impact
A History of the Internet and the Digital Future
Development through Technology Transfer
Progress in Computer Graphics
Time Warps, String Edits, and Macromolecules
Computers and Typography
Computers and Typography
Human Factors in Computer Systems
Social Theory After the Internet
Directions and Implications of Advanced Computing
Computing Taste
Logic, Language and Computation
Lectures on Contemporary Syntactic Theories
Connectionist Natural Language Processing
Sparks of Innovation in Human-Computer Interaction
Words on the Web
Jacy
Empirical Studies of Programmers
Empirical Studies of Programmers
Empirical Studies of Programmers
MARCEL
Life Out of Sequence
Computers in Education
The Philosopher of Palo Alto
Communication Patterns and Textual Forms
Logic Programming
Machinations
From Counterculture to Cyberculture
Advances in Distributed and Parallel Processing, Volume One
Image Understanding
Foundations of Real World Intelligence
Exploring Logical Dynamics
Trends in Functional Programming Volume 6
Digital Ego
Human Factors and Interactive Computer Systems
Connectionist Language Generator
Reflections on Artificial Intelligence
Geometry and Meaning
Advances in Logic Programming and Automated Reasoning
Progress in Neural Networks, Volume Five
Logical Derivation of Computer Programs
Science in the Age of Computer Simulation
Computational Models of American Speech
Knowledge Acquisition from Databases
Cognition, Computing, and Cooperation
Requirements for a Software Engineering Environment
Software Specification
Routing, Placement, and Partitioning
Progress in Computer-Aided VLSI Design, Volume Three
Progress in Computer-Aided VLSI Design, Volume Two
Progress in Simulation, Volume One
Progress in Simulation, Volume Two
VLSI Fault Modeling and Testing Techniques