Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Baltic Computer Science

Selected Papers
BuchKartoniert, Paperback
626 Seiten
Englisch
Springererschienen am28.06.1991
This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results.mehr

Produkt

KlappentextThis volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results.
Details
ISBN/GTIN978-3-540-54131-8
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr1991
Erscheinungsdatum28.06.1991
ReiheLecture Notes in Computer Science
Seiten626 Seiten
SpracheEnglisch
Gewicht856 g
IllustrationenX, 626 p.
Artikel-Nr.10743728

Inhalt/Kritik

Inhaltsverzeichnis
The programming system PRIZ.- Type-theoretical semantics of some declarative languages.- Using resolution for deciding solvable classes and building finite models.- Toward knowledge-based specifications of languages.- Inductive inference of recursive functions: Qualitative theory.- Inductive inference of recursive functions: Complexity bounds.- Inductive synthesis of dot expressions.- Some models of inductive syntactical synthesis from sample computations.- Inductive synthesis of term rewriting systems.- Automatic construction of test sets: Theoretical approach.- Automatic construction of test sets: Practical approach.- Aggregate approach for specification, validation, simulation and implementation of computer network protocols.- A compositional proof system for distributed programs.- Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus.- Rigal - a programming language for compiler writing.- Complexity of probabilistic versus deterministic automata.mehr

Schlagworte