• Produktbild: Computer Science Logic
  • Produktbild: Computer Science Logic
Band 533

Computer Science Logic 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.1991

Abbildungen

VIII, 402 p.

Herausgeber

Egon Börger + weitere

Verlag

Springer Berlin

Seitenzahl

402

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

622 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-54487-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.1991

Abbildungen

VIII, 402 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

402

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

622 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-54487-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Computer Science Logic
  • Produktbild: Computer Science Logic
  • 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.