Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16,

Ø 0.0

0 Bewertungen

68,89 €

Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540502418
Book Title:

CSL '87
ISBN:

9783540502418

None:

International Standard : tracked-no signature (7 to 15 business days) 39,30 EUR - Lieferung zwischen 23. May 2025 und 02. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , Algerien , ... und weitere

CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16,

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany

CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988

CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-

Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18

Parallel Problem Solving from Nature: 1st Workshop, PPSN I Dortmund, FRG, Octobe

Compiler Compilers: Third International Workshop, CC `90. Schwerin, FRG, October

Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23-25, 1981 by

Betrieb von Rechenzentren: Workshop der Gesellschaft f?r Informatik, Karlsruhe,

Exploring Service Science: 9th International Conference, IESS 2018, Karlsruhe, G

The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Procee

Compiler Construction: 4th International Conference, CC '92, Paderborn, FRG, Oct

European Workshop on Planning: EWSP'91, Sankt Augustin, FRG, March 18-19, 1991.

Natural Language and Logic: International Scientific Symposium, Hamburg, FRG, Ma

Extensions of Logic Programming: International Workshop, T?bingen, FRG, December

The Heads of Religious Houses: England and Wales, I 940 1216: England and Wales,

Non-Monotonic Reasoning: 2nd International Workshop, Grassau, FRG, June 13-15, 1

Database Systems of the 90s: International Symposium, M?ggelsee, Berlin, FRG, No

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germ...

Self-Organizing Systems: 5th International Workshop, IWSOS 2011, Karlsruhe, Germ

The Question of the Atom: From the Karlsruhe Congress to the First Solvay...

CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16,

Ähnliche Artikel

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany

CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988

CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-

Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18

Parallel Problem Solving from Nature: 1st Workshop, PPSN I Dortmund, FRG, Octobe

Compiler Compilers: Third International Workshop, CC `90. Schwerin, FRG, October

Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23-25, 1981 by

Betrieb von Rechenzentren: Workshop der Gesellschaft f?r Informatik, Karlsruhe,

Exploring Service Science: 9th International Conference, IESS 2018, Karlsruhe, G

The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Procee

Compiler Construction: 4th International Conference, CC '92, Paderborn, FRG, Oct

European Workshop on Planning: EWSP'91, Sankt Augustin, FRG, March 18-19, 1991.

Natural Language and Logic: International Scientific Symposium, Hamburg, FRG, Ma

Extensions of Logic Programming: International Workshop, T?bingen, FRG, December

The Heads of Religious Houses: England and Wales, I 940 1216: England and Wales,

Non-Monotonic Reasoning: 2nd International Workshop, Grassau, FRG, June 13-15, 1

Database Systems of the 90s: International Symposium, M?ggelsee, Berlin, FRG, No

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germ...

Self-Organizing Systems: 5th International Workshop, IWSOS 2011, Karlsruhe, Germ

The Question of the Atom: From the Karlsruhe Congress to the First Solvay...

Cookie Hinweis