Narrow your search

Library

KU Leuven (1)

UCLouvain (1)

UGent (1)

ULB (1)

ULiège (1)


Resource type

book (1)


Language

English (1)


Year
From To Submit

1999 (1)

Listing 1 - 1 of 1
Sort by
Computer science logic : 12th International workshop, CSL '98 : Annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
Authors: --- ---
ISBN: 3540659226 9783540659228 3540488553 Year: 1999 Volume: 1584 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer logic --- Logique informatique --- Congresses --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Congresses. --- Congrès --- Computer science. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Foundations. --- Logic design. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- 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 --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer logic - Congresses

Listing 1 - 1 of 1
Sort by