- 5 Ergebnisse
Kleinster Preis: € 44,14, größter Preis: € 55,60, Mittelwert: € 50,86
1
Computer Science Logic 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings - Börger, Egon (Herausgeber); Schönfeld, Wolfgang (Herausgeber); Richter, Michael M. (Herausgeber); Kleine Büning, Hans (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link
Börger, Egon (Herausgeber); Schönfeld, Wolfgang (Herausgeber); Richter, Michael M. (Herausgeber); Kleine Büning, Hans (Herausgeber):

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…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings: 4th, 1990 (Lecture Notes in Computer Science)
Bestellen
bei Achtung-Buecher.de
€ 44,14
Versand: € 0,001
Bestellengesponserter Link
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings: 4th, 1990 (Lecture Notes in Computer Science) - Taschenbuch

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…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
3
Bestellen
bei Biblio.co.uk
$ 49,99
(ca. € 46,53)
Versand: € 17,971
Bestellengesponserter Link
Börger, Egon [Editor]; Kleine Büning, Hans [Editor]; Richter, Michael M. [Editor]; Schönfeld, Wolfgang [Editor];:
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…

Versandkosten: EUR 17.97 GuthrieBooks
4
Computer Science Logic - Egon Börger/ Hans Kleine-Büning/ Michael M. Richter
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Egon Börger/ Hans Kleine-Büning/ Michael M. Richter:
Computer Science Logic - Taschenbuch

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…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
5
Bestellen
bei alibris.co.uk
€ 54,53
Bestellengesponserter Link
Börger, Egon (Editor), and Kleine Büning, Hans (Editor), and Richter, Michael M (Editor):
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]

Versandkosten:zzgl. Versandkosten Sparks, NV, Alibris

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Computer Science Logic

The workshop Computer Science Logic '90 was held at theMax-Planck-Haus in Heidelberg, Germany, October 1-5, 1990.It was the fourth in a series of worskhops, following CSL'89 at the University of Kaiserslautern (see LNCS 440), CSL'88 at the University of Duisberg (see LNCS 385), and CSL'87 at the University of Karlsruhe (see LNCS 329). Thisvolume contains 24 papers, chosen by means of a reviewprocedure from the 35 papers presented at the workshop, someof which were invited and some selected from a total of 89submissions. The papers cover a wide range of topics arisingfrom the applications of logic to computer science.

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)


< zum Archiv...