Listing 1 - 10 of 183 | << page >> |
Sort by
|
Choose an application
Old French literature --- Thematology --- Fiction --- Arthur [King] --- Map, Walther --- Queste del Saint Graal --- Grail --- Arthurian romances --- Knights and knighthood in literature --- Civilization, Medieval, in literature --- Quests (Expeditions) in literature --- Legends --- History and criticism --- Graal --- -Grail --- -Knights and knighthood in literature --- Quests in literature --- Gral --- Gréal --- Holy Grail --- Sangraal --- Sangreal --- Chalices --- Folklore --- Romances --- -History and criticism --- Legends&delete& --- Queste del Saint Graal. --- Quête del Saint Graal --- Quête du Saint Graal --- Saint Graal (Romance) --- Queste del S. Graal --- Lancelot (Prose cycle). --- Graal. --- King Arthur [Fictitious character] --- Grail - Legends - History and criticism --- Arthurian romances - History and criticism
Choose an application
Fiction --- Old French literature --- anno 1100-1199 --- anno 1200-1299 --- French fiction --- Fiction, Medieval --- Romances --- Arthurian romances --- Roman français --- Roman médiéval --- Roman courtois --- Cycle d'Arthur --- History and criticism. --- Histoire et critique --- Roman français --- Roman médiéval
Choose an application
Choose an application
Old French literature --- Fiction --- Histoire du Saint Graal --- Roman de Troie --- anno 1100-1199 --- anno 1200-1299 --- Chevaliers et chevalerie dans la littérature --- Knights and knighthood in literature --- Ridders en ridderschap in de literatuur --- French literature --- Trojan War --- Grail --- Arthurian romances --- Knights and knighthood in literature. --- History and criticism. --- Literature and the war. --- Legends --- -French literature --- -Grail --- -Knights and knighthood in literature --- -Mythology, Greek --- Graal --- Gral --- Gréal --- Holy Grail --- Sangraal --- Sangreal --- Chalices --- Folklore --- Romances --- History and criticism --- -History and criticism --- Literature and the war --- -Graal --- Legends&delete& --- To 1500 --- Civilization [Medieval ] --- 12th century --- 13th century --- French literature - To 1500 - History and criticism. --- Trojan War - Literature and the war. --- Grail - Legends - History and criticism. --- Arthurian romances - History and criticism. --- Romans antiques --- Romans arthuriens francais en vers --- Romans en prose du graal
Choose an application
The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners. Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph,in which several theory reasoning versions are defined and related to each other. A major contribution of the book is a new technique of linear completion allowing for the automatic construction of background reasoners from a wide range of axiomatically given theories. The emphasis is on theoretical investigations, but implementation techniques based on Prolog are also covered.
Automatic theorem proving --- Computer Science --- Engineering & Applied Sciences --- Automatic theorem proving. --- Theorema's--Automatische bewijsvoering --- Théorèmes--Démonstration automatique --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Engineering. --- Computers. --- Mathematical logic. --- Artificial intelligence. --- Robotics. --- Automation. --- Robotics and Automation. --- Theory of Computation. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Artificial intelligence --- Proof theory --- Information theory. --- Computer science. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Communication theory --- Communication --- Cybernetics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Automatic factories --- Automatic production --- Computer control --- Engineering cybernetics --- Factories --- Industrial engineering --- Mechanization --- Assembly-line methods --- Automatic control --- Automatic machinery --- CAD/CAM systems --- Robotics --- Automation
Choose an application
Church history --- Reformation --- Eglise --- Réforme (Christianisme) --- Histoire --- Réforme (Christianisme) --- Middle Ages, 600-1500 --- Middle Ages, 500-1500
Choose an application
Philosophy, Austrian --- Philosophie autrichienne --- Brentano, Franz Clemens, --- Brentano, Franz,
Choose an application
Nouvelle traduction de la partie du texte mis au programme de l'agrégation 2005, la Queste del Saint Graal (édition d'A. Pauphilet, pages 147 à 210)
-Arthurian romances --- Medieval tales --- Old French literature --- Arthurian romances --- Grail --- Tales, Medieval --- Romances --- Grail - Romances
Choose an application
Glaser, die im 16. und 17. Jahrhundert in Venedig oder anderswo 'a la facon de Venise' hergestellt wurden, gelten unbestrittenermassen als die schonsten und kostbarsten ihrer Zeit. Sie fanden ihren Weg in Kunst- und Wunderkammern von Konigs- und Furstenhausern oder in den Besitz wohlhabender Burger auf dem ganzen Kontinent. Ein kleiner Teil davon ist bis heute dank glucklicher Umstande erhalten geblieben. In einer reprasentativen Auswahl werden in diesem Band ungefahr 190 intakte Glasgefasse aus Schweizer Sammlungen vorgestellt, ganzseitig abgebildet, ausfuhrlich beschrieben und kommentiert. Der Katalog umfasst zusatzlich uber 200 Fragmente aus archaologischen Grabungen; dadurch kann erstmals in grosserem Umfang aufgezeigt werden, welche Typen venezianischer oder 'a la facon de Venise' hergestellter Glaser im 16. und 17. Jahrhundert in der Schweiz vorhanden waren. Zudem lasst sich nachweisen, dass bestimmte Glaser, die noch bis gegen das Ende des 20. Jahrhunderts als venezianisch bezeichnet wurden, aus schweizerischen Glashutten stammen.
748 <45> --- Glaskunst. Glazenierskunst. Kristalwerk--Italië --- Glassware --- History --- Venetian influences --- Glassware - Italy - Venice - History - 16th century - Catalogs --- Glassware - Italy - Venice - History - 17th century - Catalogs --- Glassware - Europe - Venetian influences - Catalogs --- Glassware - Switzerland - Catalogs
Choose an application
Am Abend des 1. April des Jahres 1885 gründeten in Wien 50 literatur- und kunstschaffende Frauen mit dem »Verein der Schriftstellerinnen und Künstlerinnen in Wien« ein Netzwerk, das ihnen neben materieller Absicherung bei Not, Krankheit und Alter auch ein Forum der Förderung und Anregung bieten konnte. In dem vorliegenden Buch wird der frühe, den emanzipatorischen und sozialen Bewegungen des ausgehenden 19. Jahrhunderts zuzuzählende Verein in seinen kulturellen, ökonomischen und politischen Beziehungsgeflechten dargestellt. Anhand von Vereinsdokumenten, Tagebüchern und unveröffentlichten Briefen werden die Bemühungen der Vereinsfrauen um Einigkeit, ihre Erfolge wie auch Verhinderungen in den Fokus einer über ein halbes Jahrhundert währenden Geschichte gestellt.
Women artists --- Women authors, Austrian. --- Women --- Human females --- Wimmin --- Woman --- Womon --- Womyn --- Females --- Human beings --- Femininity --- Austrian women authors --- Artists, Women --- Women as artists --- Artists --- Societies and clubs. --- Verein der Schriftstellerinnen und K©onstlerinnen in Wien.
Listing 1 - 10 of 183 | << page >> |
Sort by
|