Narrow your search

Library

KU Leuven (5)

ULiège (5)

UAntwerpen (4)

UCLouvain (3)

KBR (2)

UGent (2)

ULB (2)

UNamur (2)

VUB (1)


Resource type

book (5)


Language

English (5)


Year
From To Submit

1985 (5)

Listing 1 - 5 of 5
Sort by

Book
Logics and models of concurrent systems
Authors: ---
ISBN: 0387151818 3540151818 3642824552 3642824536 9780387151816 Year: 1985 Volume: 13 Publisher: Berlin Heidelberg : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The analysis of concurrent systems: Cambridge, September 12-16, 1983: proceedings
Authors: --- ---
ISBN: 3540160477 0387160477 3540397310 9780387160474 Year: 1985 Volume: 207 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer architecture. Operating systems --- Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses --- Congrès --- 681.3*D13 --- 681.3*D21 --- 681.3*D24 --- 681.3*F12 --- Concurrent programming --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D13 Concurrent programming --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Parallélisme (Informatique) --- Congrès --- Computer network architectures. --- Logic design. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Parallel processing (Electronic computers) - Congresses

STACS 85: Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
Authors: --- ---
ISBN: 3540139125 0387139125 3540391363 Year: 1985 Volume: vol 182 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Programming --- 681.3 *C2 --- 681.3*B72 --- 681.3*C1 --- 681.3*F0 --- 681.3*H21 --- Computer communication networks: data communications; OSI; security and protection --- Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- Processor architectures (Computer systems organization) --- Computerwetenschap--?*F0 --- Logical design: data models; normal forms; schema and subschema (Database management) --- 681.3*H21 Logical design: data models; normal forms; schema and subschema (Database management) --- 681.3*C1 Processor architectures (Computer systems organization) --- 681.3*B72 Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Electronic data processing - Congresses. --- Computers - Congresses. --- Algorithms. --- Mathematical logic. --- Computers. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Models and Principles. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Foundations

Natural language understanding and logic programming: proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
Author:
ISBN: 0444877142 9780444877147 Year: 1985 Publisher: Amsterdam North-Holland

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Logic, Symbolic and mathematical --- Electronic digital computers --- Linguistics --- Congresses --- Programming --- -Computer programming --- -Logic, Symbolic and mathematical --- -681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Natural language processing: language generation; language models; language parsing and understanding; machine translation; speech recognition and under-standing; text analysis (Artificial intelligence) --- 681.3*I27 Natural language processing: language generation; language models; language parsing and understanding; machine translation; speech recognition and under-standing; text analysis (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Computer programming --- Programming languages (Electronic computers) --- 681.3*I23 --- 681.3*I27 --- Artificial intelligence. Robotics. Simulation. Graphics --- Logic, symbolic and mathematical --- Langages de programmation --- Programmation (Informatique) --- Logique symbolique et mathématique --- Linguistique --- Congrès --- Logic, Symbolic and mathematical - Congresses --- Electronic digital computers - Programming - Congresses --- Linguistics - Congresses --- Programming languages (Electronic computers) - Congresses --- Computer programming - Congresses --- Programming language --- Electronic computers --- Electronic digital computers-programming-congress

Listing 1 - 5 of 5
Sort by


Copyright ©2024 SemperTool