Bild 1 von 1

Informatik Logik: 5. Workshop, CSL '91, Bern, Schweiz, 7.-11.-

grandeagleretail

(921092)

US $67,88

Ca.EUR 62,58

Artikelzustand:

Neu

Stückzahl:

3 verfügbar

Ganz entspannt. Rückgaben akzeptiert.

Versand:

Kostenlos Economy Shipping. Weitere Detailsfür Versand

Standort: Fairfield, Ohio, USA

Lieferung:

Lieferung zwischen Sa, 29. Jun und Do, 11. Jul nach 43230 bei heutigem Zahlungseingang

Rücknahmen:

30 Tage Rückgabe. Käufer zahlt Rückversand. Weitere Details- Informationen zu Rückgaben

Zahlungen:

Sicher einkaufen

eBay-Käuferschutz

Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet

Artikel melden - wird in neuem Fenster oder Tab geöffnet

Der Verkäufer ist für dieses Angebot verantwortlich.

eBay-Artikelnr.:364688686491

Zuletzt aktualisiert am 19. Mai. 2024 13:53:04 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand: Neu: Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte ...

ISBN-13: 9783540557890

Book Title: Computer Science Logic

ISBN: 9783540557890

Subject Area: Computers, Mathematics

Publication Name: Computer ScienceLogic : 5th Workshop, Csi'91 Berne, Switzerland October 1991, Proceedings

Item Length: 9.2 in

Publisher: Springer Berlin / Heidelberg

Subject: Programming / Algorithms, Computer Science, Logic

Publication Year: 1992

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Format: Trade Paperback

Language: English

Author: Gerhard Jäger

Item Width: 6.1 in

Item Weight: 48.3 Oz

Number of Pages: VIII, 431 Pages

Über dieses Produkt

Product Information

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.

Product Identifiers

Publisher

Springer Berlin / Heidelberg

ISBN-10

354055789x

ISBN-13

9783540557890

eBay Product ID (ePID)

5038684854

Product Key Features

Author

Gerhard Jäger

Publication Name

Computer ScienceLogic : 5th Workshop, Csi'91 Berne, Switzerland October 1991, Proceedings

Format

Trade Paperback

Language

English

Subject

Programming / Algorithms, Computer Science, Logic

Publication Year

1992

Series

Lecture Notes in Computer Science Ser.

Type

Textbook

Subject Area

Computers, Mathematics

Number of Pages

VIII, 431 Pages

Dimensions

Item Length

9.2 in

Item Width

6.1 in

Item Weight

48.3 Oz

Additional Product Features

Intended Audience

Scholarly & Professional

Series Volume Number

626

Number of Volumes

1 Vol.

Lc Classification Number

Qa75.5-76.95

Table of Content

The expressive power of transitive closure and 2-way multihead automata.- Correctness proof for the WAM with types.- Model checking of persistent Petri nets.- Provability in TBLL: A decision procedure.- How to implement first order formulas in local memory machine models.- A new approach to abstract data types II computation on ADTs as ordinary computation.- A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation.- On bounded theories.- The cutting plane proof system with bounded degree of falsity.- Denotational versus declarative semantics for functional programming.- On transitive closure logic.- Some aspects of the probabilistic behavior of variants of resolution.- Safe queries in relational databases with functions.- Logical inference and polyhedral projection.- Stable logic.- A transformational methodology for proving termination of logic programs.- Plausibility logic.- Towards Kleene Algebra with recursion.- Equational specification of abstract types and combinators.- Normal forms in infinite-valued logic: The case of one variable.- A fragment of first order logic adequate for observation equivalence.- Ordinal processes in comparative concurrency semantics.- Logical semantics of modularisation.- A cut-elimination procedure designed for evaluating proofs as programs.- Minimal from classical proofs.- Quantifier hierarchies over word relations.- Complexity results for the default- and the autoepistemic logic.- On Completeness for NP via projection translations.- Control of ?-automata, Church's problem, and the emptiness problem for tree ?-automata.- Comparing the theory of representations and constructive mathematics.- Infinitary queries and their asymptotic probabilities I: Properties definable in transitive closure logic.-On completeness of program synthesis systems.- Proving termination for term rewriting systems.

1992

Illustrated

Yes

Artikelbeschreibung des Verkäufers

Rechtliche Informationen des Verkäufers

Premier Books LLC

David Taylor

26C Trolley Sq

19806-3356 Wilmington, DE

United States

Kontaktinformationen anzeigen

:liaM-Emoc.liaterelgaednarg@yabe

Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.

Der Verkäufer ist für dieses Angebot verantwortlich.

eBay-Artikelnr.:364688686491

Zuletzt aktualisiert am 19. Mai. 2024 13:53:04 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Verpackung und Versand

Artikelstandort:

Fairfield, Ohio, USA

Versand nach:

Afghanistan, Albanien, Algerien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Britische Jungferninseln, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Cookinseln, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominica, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Falklandinseln (Malwinen), Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irak, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jersey, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Komoren, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mayotte, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niederländische Antillen, Niger, Nigeria, Niue, Norwegen, Oman, Pakistan, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Saint-Pierre und Miquelon, Salomonen, Sambia, San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Somalia, Spanien, Sri Lanka, St. Helena, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Svalbard und Jan Mayen, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Tuvalu, Türkei, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Weltweit, Westsahara, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich

Ausgeschlossen:

APO/FPO, Alaska/Hawaii, Barbados, Belarus, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Panama, Papua-Neuguinea, Russische Föderation, Réunion, Samoa (Westsamoa), US-Protektorate, Ukraine, Venezuela

Stückzahl:

Land ändern:

PLZ:

Verpackung und Versand	Jeder zusätzliche Artikel	Nach	Service	Lieferung*Siehe Lieferhinweise
Kostenloser Versand	Kostenlos	USA	Economy Shipping	Lieferung zwischen Sa, 29. Jun und Do, 11. Jul nach 43230

*Angaben zur Lieferung - wird in neuem Fenster oder Tab geöffnet werden ermittelt unter Berücksichtigung der Bearbeitungszeit des Verkäufers, der Postleitzahlen des Artikelstandorts und des Zielorts und des Zeitpunkts der Bestellannahme. Außerdem sind sie abhängig vom gewählten Versandservice und von der Bestätigung des Zahlungseingangs. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.Lieferhinweise *Angaben zur Lieferung werden ermittelt unter Berücksichtigung der Bearbeitungszeit des Verkäufers, der Postleitzahlen des Artikelstandorts und des Zielorts und des Zeitpunkts der Bestellannahme. Außerdem sind sie abhängig vom gewählten Versandservice und von der Bestätigung des Zahlungseingangs. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.

Bearbeitungszeit

Der Verkäufer verschickt den Artikel innerhalb von 10 Werktagen nach Zahlungseingang.

Steuern

An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe.