Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 20 | << page >> |
Sort by
|
Book
Year: 1988 Publisher: Cambridge: Cambridge university press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Non Monotonic Logic --- Temporal Logic --- Artificial intelligence --- Logic --- Predicate Logic
ISBN: 9780471915492 0471915491 Year: 1987 Publisher: Chichester: Wiley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Knowledge Representation --- Modal Logic --- Natural Language --- Temporal Logic --- Artificial intelligence
Book
Year: 1985 Publisher: [Lieu de publication inconnu]: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Verification --- Temporal Logic --- Ccs --- Semantics --- Logic --- Specification --- Concurrency --- Model
Book
ISSN: 07632770 ISBN: 2225816328 9782225816321 Year: 1989 Publisher: Paris: Masson,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Temps (Logique) --- Artificial intelligence --- Linguistic --- Tense Logic Intervals --- Time --- Temporal Logic
Book
Year: 1984 Publisher: Chichester: Ellis Horwood,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Intuitionistic Logic --- 3 Valued Logics --- Autoepistemic Logic --- Temporal Logic --- Logic --- Knowledge --- Artificial intelligence --- Logic, symbolic and mathematical
ISBN: 0387196250 3540196250 1447138600 9783540196259 9780387196251 Year: 1990 Volume: vol *4 Publisher: London: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Parallel programming (Computer science) --- Programming languages (Electronic computers) --- Programmation parallèle (Informatique) --- Langages de programmation --- Congresses --- Semantics --- Congrès --- Sémantique --- Parallel programming (Computer science) - Congresses. --- Programming languages (Electronic computers) - Semantics - Congresses. --- Theoretical Computer Sci --- Ccs --- Temporal Logic --- Process --- Concurrency
ISBN: 1558600949 9781558600942 Year: 1989 Publisher: San Mateo, Calif.: Kaufmann,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence --- Knowledge, Theory of --- Cognition --- Intelligence artificielle --- Théorie de la connaissance --- Congresses --- Congrès --- 681.3 --- Computerwetenschap --- Théorie de la connaissance --- Congrès --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Model Logic --- Temporal Logic --- Uncertainty --- Logic programming
Book
ISBN: 0126495203 9780126495201 Year: 1988 Publisher: London: Academic press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical. --- Nonclassical mathematical logic --- Logique mathématique non classique --- Informatique --- Computer science --- Logique mathématique non classique. --- Computer science. --- Logique mathématique --- BASIC (Computer program language) --- Modal Logic --- Autoepistemic Logic --- Knowledge Representation --- Temporal Logic --- Mathematical Logic --- Probability --- Logic --- Artificial intelligence --- Logique mathematique --- Colloque --- Knowledge representation
ISBN: 0792304152 9401076049 9400924488 9780792304159 Year: 1989 Publisher: Dordrecht: Kluwer academic press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence --- Logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Methodology --- Artificial intelligence. --- Common Sense Reasoning --- Circumscription --- Temporal Logic --- Knowledge Representation
ISBN: 0122740602 9780122740602 Year: 1987 Publisher: London: Academic press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Mathematical logic --- Artificial intelligence. Robotics. Simulation. Graphics --- Electronic digital computers --- Logic, Symbolic and mathematical --- Programmation des ordinateurs --- Logique symbolique et mathématique --- Programming --- 510.6 --- Computer programming --- 681.3*F4 --- 681.3*I2 --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical logic and formal languages (Theory of computation) --- Artificial intelligence. AI --- Computer programming. --- Logic, Symbolic and mathematical. --- 681.3*I2 Artificial intelligence. AI --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 510.6 Mathematical logic --- Logique symbolique et mathématique --- Verification --- Modal Logic --- Parallelism --- Temporal Logic
| Listing 1 - 10 of 20 | << page >> |
Sort by
|