Книга: Robert Veroff «Automated Reasoning&its Applications Essays in Honor of Larry Wos»

См. также в других словарях:

• Аксиома Вольфрама — является результатом исследований, осуществленных Стивеном Вольфрамом[1] в поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью… …   Википедия

• Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

• Walls and Mirrors — is an influential computer science textbook, for undergraduates taking a second computer science course (typically on the subject of data structures and algorithms), written by Paul Helman and Robert Veroff. The book has endured as a standard… …   Wikipedia

• Friedrich Theodor Vischer/Literaturverzeichnis — zurück zum Hauptartikel Friedrich Theodor Vischer Inhaltsverzeichnis 1 Werke/Quellen 2 Werk /Teilausgg. 3 Bibliographie 4 Literatur // …   Deutsch Wikipedia

• Jolly Jumper — Lucky Luke ist der Titel einer von Morris (d. i. Maurice de Bévère) gezeichneten, erstmals 1946 erschienenen belgischen Comic Serie um den gleichnamigen einsamen Cowboy. Lucky Luke ist mit mehr als 30 Millionen verkauften Alben in Deutschland die …   Deutsch Wikipedia

• Lucky Luke — Statue in Siegershausen Lucky Luke ist die Titelfigur einer seit 1946 erscheinenden belgischen Comic Serie des Zeichners Morris. Lucky Luke ist mit mehr als 30 Millionen verkauften Alben in Deutschland die erfolgreichste Comic Serie im Alben… …   Deutsch Wikipedia