. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3540613773 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 9,97 €, größter Preis: 106,92 €, Mittelwert: 63,18 €
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science) - Michael Fisher, Richard Owens
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Michael Fisher, Richard Owens:
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

ISBN: 3540613773

[SR: 8888999], Paperback, [EAN: 9783540613770], Springer, Springer, Book, [PU: Springer], Springer, This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented., 280291, Intelligence & Semantics, 3887, AI & Machine Learning, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3839, Programming, 3840, APIs & Operating Environments, 3870, Algorithms, 6134007011, Apple Programming, 3669, Cross-platform Development, 132561011, Functional, 15375251, Game Programming, 3916, Graphics & Multimedia, 3944, Introductory & Beginning, 3952, Languages & Tools, 285848, Microsoft Programming, 377559011, Mobile Apps, 10806621011, Parallel Programming, 4011, Software Design, Testing & Engineering, 3600, Web Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 491300, Artificial Intelligence, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491314, Programming Languages, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 468218, Mathematics, 491542, Algebra & Trigonometry, 491544, Calculus, 491546, Geometry, 491548, Statistics, 468216, Science & Mathematics, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

gebrauchtes bzw. antiquarisches Buch Amazon.com
GuthrieBooks
Gebraucht. Versandkosten:Usually ships in 1-2 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen., zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings - Michael Fisher, Richard Owens
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Michael Fisher, Richard Owens:
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings - neues Buch

ISBN: 3540613773

Pasta blanda, [EAN: 9783540613770], Springer-Verlag, Springer-Verlag, Book, [PU: Springer-Verlag], Springer-Verlag, This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented., 9570082011, Lógica, 9570072011, Matemáticas Puras, 9570050011, Matemáticas, 9569917011, Ciencia y Matemáticas, 9298577011, Categorías, 9298576011, Libros, 9570193011, Programación, 9570194011, Ada, 9570195011, Algoritmos y Programación, 9570196011, C y C + +, 9570197011, Diseño de Software, 9570201011, Html, 9570202011, Java, 9570203011, Javascript, 9570204011, Juegos de Ordenador, 9570205011, Lisp, 9570206011, Orientada a Objetos, 9570207011, Paralela, 9570208011, Pascal, 9570209011, Perl, 9570210011, PHP, 9570211011, Prolog, 9570212011, Python, 9570213011, Rpg, 9570214011, Ruby, 9570216011, XML, 9570164011, Computadoras y Tecnología, 9298577011, Categorías, 9298576011, Libros, 9576302011, Lógica, 9576294011, Matemáticas Puras, 9576276011, Matemáticas, 9576207011, Ciencia Profesional, 9576190011, Profesional y Técnico, 9298577011, Categorías, 9298576011, Libros, 9647831011, Ciéncia y Tecnología, 9647825011, Libros en Idiomas Extranjeros, 9298577011, Categorías, 9298576011, Libros, 9647832011, Computadoras, Internet y Medios Digitales, 9647825011, Libros en Idiomas Extranjeros, 9298577011, Categorías, 9298576011, Libros

Neues Buch Amazon.com.mx
myrockland
Neuware. Versandkosten:Se suele enviar en un plazo de entre 1 y 2 días laborales. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen., zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings - Michael Fisher, Richard Owens
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Michael Fisher, Richard Owens:
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings - neues Buch

ISBN: 3540613773

Capa comum, [EAN: 9783540613770], Springer, Springer, Book, [PU: Springer], 1995-02-17, Springer, This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented., 13984554011, Lógica, 13984550011, Matemática Pura, 13984528011, Matemática, 7882699011, Ciências Tecnológicas, 7882627011, Inglês e Outras Línguas, 7841278011, Categorias, 6740748011, Livros, 13984937011, Programação, 13984938011, Ada, 13984939011, Algoritmos, 13984940011, C e C + +, 13984941011, Design de Software, 13984945011, HTML, 13984946011, Java, 13984947011, JavaScript, 13984948011, Jogos, 13984949011, LISP, 13984950011, Orientação por Objetos, 13984951011, PHP, 13984952011, Paralela, 13984953011, Pascal, 13984954011, Perl, 13984955011, Prolog, 13984956011, Python, 13984957011, RPG, 13984958011, Rubi, 13984960011, XML, 7882700011, Computação, Informática e Mídias Digitais, 7882627011, Inglês e Outras Línguas, 7841278011, Categorias, 6740748011, Livros, 8169562011, Custom Stores, 8169627011, Busca Avançada, 13420260011, Volta às Aulas, 8169561011, Specialty Stores, 6740748011, Livros

Neues Buch Amazon.com.br
Amazon.com.br
Neuware. Versandkosten:Temporarily out of stock. Order now and we'll deliver when available. We'll e-mail you with an estimated delivery date as soon as we have more information. Your credit card will not be charged until we ship the item., zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Computer Science Logic - Hans Kleine-Büning#Hans Kleine-Büning
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hans Kleine-Büning#Hans Kleine-Büning:
Computer Science Logic - neues Buch

ISBN: 9783540613770

ID: 808735121

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995. The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others. 9th Workshop, CSL ´95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers Buch (fremdspr.) Taschenbuch 05.06.1996 Bücher>Fremdsprachige Bücher>Englische Bücher, Springer, .199

Neues Buch Orellfuessli.ch
No. 1877116. Versandkosten:Zzgl. Versandkosten. (EUR 15.65)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Computer Science Logic - Hans Kleine-Büning#Hans Kleine-Büning
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hans Kleine-Büning#Hans Kleine-Büning:
Computer Science Logic - neues Buch

ISBN: 9783540613770

ID: 836164315

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995. The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others. 9th Workshop, CSL ´95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 1877116. Versandkosten:, Versandfertig in 2 - 3 Tagen, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Computer Science Logic
Autor:
Titel:
ISBN-Nummer:

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

Detailangaben zum Buch - Computer Science Logic


EAN (ISBN-13): 9783540613770
ISBN (ISBN-10): 3540613773
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer-Verlag GmbH
487 Seiten
Gewicht: 0,754 kg

Buch in der Datenbank seit 29.05.2007 12:49:59
Buch zuletzt gefunden am 17.10.2017 16:13:41
ISBN/EAN: 3540613773

ISBN - alternative Schreibweisen:
3-540-61377-3, 978-3-540-61377-0


< zum Archiv...
Benachbarte Bücher