Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Philosophy of language --- Theory of knowledge --- Semantics (Philosophy) --- Logic, symbolic and mathematical --- Language and languages --- Philosophy --- Language and languages - Philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

801.56 --- Syntaxis. Semantiek --- Politeness (Linguistics) --- Pragmatics --- History. --- 801.56 Syntaxis. Semantiek --- Pragmalinguistics --- General semantics --- Language and languages --- Logic, Symbolic and mathematical --- Semantics (Philosophy) --- Courtesy (Linguistics) --- Linguistics --- History --- Philosophy --- Historical linguistics --- Sociolinguistics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. We have designed this book especially

Algebraic logic. --- Monotonic functions. --- Fixed point theory. --- Lattice theory. --- Machine theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Lattices (Mathematics) --- Space lattice (Mathematics) --- Structural analysis (Mathematics) --- Algebra, Abstract --- Algebra, Boolean --- Group theory --- Set theory --- Topology --- Transformations (Mathematics) --- Crystallography, Mathematical --- Fixed point theorems (Topology) --- Nonlinear operators --- Coincidence theory (Mathematics) --- Functions, Monotonic --- Functions of real variables

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on Algebraic and Logic Programming, ALP'98, in Pisa, Italy, in September 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Also included are two invited papers and abstracts of two tutorials. The papers are organized in topical sections on verification, logic programming, static analysis, software methodologies, object oriented programming, term rewriting, functional programming, metaprogramming, optimal evaluation, integration, and constraint solving.

Declarative programming --- Congresses --- 681.3*D1 <063> --- 681.3*D3 <063> --- 681.3*F3 <063> --- 681.3*F4 <063> --- 681.3*I13 <063> --- 681.3*I21 --- 681.3*K32 <063> --- 681.3*I21 Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- 681.3*D3 <063> Programming languages--Congressen --- Programming languages--Congressen --- Computer programming --- Programming techniques--See also {681.3*E}--Congressen --- Logics and meanings of programs (Theory of computation)--Congressen --- Mathematical logic and formal languages (Theory of computation)--Congressen --- Languages and systems: evaluation strategies; nonprocedural languages; special-purpose algebraic systems and hardware; substitution mechanisms (Algebraic manipulation; computing methodologies)--See also {681.3*D32}; {681.3*D33}; {681.3*F22}--Congressen --- Computer and information science education: curriculum; self-assessment--Congressen --- Computer science. --- Logic design. --- Artificial intelligence. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Programming languages (Electronic computers). --- Computer logic. --- Computer programming. --- Mathematical logic. --- 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 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Declarative programming - Congresses