Computer Science Logic 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - neues Buch
1991, ISBN: 3540544879
1991 Kartoniert / Broschiert Algorithmus, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematik, Mathematische Grundlagen, Angewandte Mathematik, Algorithmen… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1991, ISBN: 3540544879
Taschenbuch 399 Seiten Taschenbuch Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex … Mehr…
Achtung-Buecher.de Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1990, ISBN: 9783540544876
Springer, 2008-06-13. Paperback. Very Good. 6x0x9. 0387544879 Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior … Mehr…
Biblio.co.uk |
ISBN: 9783540544876
*Computer Science Logic* - 4th Workshop CSL '90 Heidelberg Germany October 1-5 1990. Proceedings. Auflage 1991 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Wissenschaft, Mathemati… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - Taschenbuch
1991, ISBN: 9783540544876
Trade paperback, New., Trade paperback (US). Glued binding. 402 p. Lecture Notes in Computer Science, 533., Berlin, Heidelberg, [PU: Springer]
alibris.co.uk |
Computer Science Logic 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - neues Buch
1991, ISBN: 3540544879
1991 Kartoniert / Broschiert Algorithmus, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematik, Mathematische Grundlagen, Angewandte Mathematik, Algorithmen… Mehr…
1991, ISBN: 3540544879
Taschenbuch 399 Seiten Taschenbuch Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex … Mehr…
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1990
ISBN: 9783540544876
Springer, 2008-06-13. Paperback. Very Good. 6x0x9. 0387544879 Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior … Mehr…
ISBN: 9783540544876
*Computer Science Logic* - 4th Workshop CSL '90 Heidelberg Germany October 1-5 1990. Proceedings. Auflage 1991 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Wissenschaft, Mathemati… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540544876
ISBN (ISBN-10): 3540544879
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1991
Herausgeber: Springer Berlin Heidelberg
412 Seiten
Gewicht: 0,620 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-06-01T21:53:17+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-16T22:14:47+01:00 (Zurich)
ISBN/EAN: 9783540544876
ISBN - alternative Schreibweisen:
3-540-54487-9, 978-3-540-54487-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hans richter, schoenfeld hans, egon börger, buning, hans schönfeld, borger, klein hans, egon brger, schnfeld, wolfgang richter, kleine büning, borg, boerger, michael richter, sch, bunin, sure hans, rger, hans will, wolf schön, karlsruhe, max planck, michael haus, wolfgang hanß
Titel des Buches: heidelberg, logic, october, who germany 1990, lecture notes computer science, 533, hans richter, workshop
Daten vom Verlag:
Autor/in: Egon Börger; Hans Kleine Büning; Michael M. Richter; Wolfgang Schönfeld
Titel: Lecture Notes in Computer Science; Computer Science Logic - 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Verlag: Springer; Springer Berlin
402 Seiten
Erscheinungsjahr: 1991-09-11
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 1,280 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
VIII, 402 p.
BC; Mathematical Logic and Foundations; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Artificial Intelligence; Computational Complexity; Formal Languages; Formale Sprachen; Komplexität; Künstliche Intelligenz; Logik; Programmiersprachen; Programming Languages; computer; computer science; logic; algorithm analysis and problem complexity; Applications of Mathematics; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Mathematical Logic and Foundations; Applications of Mathematics; Theory of Computation; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Algorithms; Mathematische Grundlagen; Angewandte Mathematik; Theoretische Informatik; Algorithmen und Datenstrukturen; EA
Monadic second order logic, tree automata and forbidden minors.- On the reduction theory for average case complexity.- From prolog algebras towards WAM-A mathematical study of implementation.- A formal operational semantics for languages of type Prolog III.- Efficiency considerations on goal-directed forward chaining for logic programs.- Decision problems for tarski and presburger arithmetics extended with sets.- A fast garbage collection algorithm for WAM — based PROLOG.- A resolution variant deciding some classes of clause sets.- Subclasses of quantified boolean formulas.- Algorithmic proof with diminishing resources part 1.- Cutting plane versus frege proof systems.- RAM with compact memory: a realistic and robust model of computation.- Randomness and turing reducibility restraints.- Towards an efficient tableau proof procedure for multiple-valued logics.- Interactive proof systems: Provers, rounds, and error bounds.- Logics for belief dependence.- A generalization of stability and its application to circumscription of positive introspective knowledge.- The complexity of adaptive error-correcting codes.- Ramsey's theorem in bounded arithmetic.- Nontrivial lower bounds for some NP-problems on directed graphs.- Expansions and models of autoepistemic theories.- On the existence of fixpoints in moore's autoepistemic logic and the non-monotonic logic of McDermott and Doyle.- On the tracking of loops in automated deductions.- The gap-language-technique revisited.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540301240 Computer Science Logic (Jerzy Marcinkowski)
- 9783540301240 Computer Science Logic (Jerzy Marcinkowski)
- 9783540318972 Computer Science Logic als eBook Download von (Luke Ong)
- 9783540557890 Computer Science Logic (Egon Börger/ Hans Kleine-Büning/ Michael M. Richter)
- 9783540230243 Computer Science Logic (Jerzy Marcinkowski)
- 9783540282310 Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings Luke O (Luke Ong)
< zum Archiv...