Merkzettel Warenkorb
  • Produktbild: CSL '87
  • Produktbild: CSL '87
Band 329

CSL '87 1st Workshop on Computer Science Logic, CSL '93, Karlsruhe, FRG. October 12-16, 1987. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.09.1988

Herausgeber

Egon Börger + weitere

Verlag

Springer Berlin

Seitenzahl

348

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

540 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-50241-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.09.1988

Herausgeber

Verlag

Springer Berlin

Seitenzahl

348

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

540 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-50241-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: CSL '87
  • Produktbild: CSL '87
  • Diagonalizing over deterministic polynomial time.- Resolution with feature unification.- Surjectivity for finite sets of combinators by weak reduction.- Proving finite satisfiability of deductive databases.- Is setl a suitable language for parallel programming — a theoretical approach.- Loose diagrams, semigroupoids, categories, groupoids and iteration.- Algebraic operational semantics and modula-2.- Program verification using dynamic logic.- Induction in the elementary theory of types and names.- On the computational complexity of quantified Horn clauses.- The conjunctive complexity of quadratic boolean functions.- On type inference for object-oriented programming languages.- Optimization aspects of logical formulas.- Logic of approximation reasoning.- Deciding the path- and word-fair equivalence problem.- Learning by teams from examples with errors.- A survey of rewrite systems.- Interfacing a logic machine.- Complexity cores and hard-to-prove formulas.- On the average case complexity of backtracking for the exact-satisfiability problem.- On functions computable in nondeterministic polynomial time: Some characterizations.- Developing logic programs: Computing through normalizing.- Model theory of deductive databases.- Algorithms for propositional updates.