|
Handbook Of Automated Reasoning
The ''Handbook of Automated Reasoning'' (, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published in June 2001 by MIT Press, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1 describes methods for classical logic, first-order logic with equality and other theories, and induction. Volume 2 covers higher-order, non-classical and other kinds of logic. Index Volume 1 ;History ;Classical Logic ;Equality and Other Theories ;Induction Volume 2 ;Higher-Order Logic and Logical Frameworks ;Nonclassical Logics ;Decidable Classes and Model Building ;Implementation {{Ordered list , start=26 , I.V. Ramakrishnan, R.Sekar, Andrei Voronkov. Term Indexing, pp. 1853–1964. , Christoph Weidenbach Christoph is a male given name and surname. It is a German variant of Christopher. Notable people with the given name Christoph * Christoph Bach (1613–1661), German musician * Christoph Büchel (born 1966), Swiss artist * Ch ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Survey Article
A review article is an article that summarizes the current state of understanding on a topic within a certain discipline. A review article is generally considered a secondary source since it may analyze and discuss the method and conclusions in previously published studies. It resembles a survey article or, in news publishing, overview article, which also surveys and summarizes previously published primary and secondary sources, instead of reporting new facts and results. Survey articles are however considered tertiary sources, since they do not provide additional analysis and synthesis of new conclusions. A review of such sources is often referred to as a tertiary review. Academic publications that specialize in review articles are known as review journals. Review journals have their own requirements for the review articles they accept, so review articles may vary slightly depending on the journal they are being submitted to. Review articles teach about: * the main people ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander Leitsch
Alexander is a male given name. The most prominent bearer of the name is Alexander the Great, the king of the Ancient Greek kingdom of Macedonia who created one of the largest empires in ancient history. Variants listed here are Aleksandar, Aleksander and Aleksandr. Related names and diminutives include Iskandar, Alec, Alek, Alex, Alexandre, Aleks, Aleksa and Sander; feminine forms include Alexandra, Alexandria, and Sasha. Etymology The name ''Alexander'' originates from the (; 'defending men' or 'protector of men'). It is a compound of the verb (; 'to ward off, avert, defend') and the noun (, genitive: , ; meaning 'man'). It is an example of the widespread motif of Greek names expressing "battle-prowess", in this case the ability to withstand or push back an enemy battle line. The earliest attested form of the name, is the Mycenaean Greek feminine anthroponym , , (/Alexandra/), written in the Linear B syllabic script. Alaksandu, alternatively called ''Alakasandu'' or ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hubert Comon
Hubert is a Germanic masculine given name, from ''hug'' "mind" and ''beraht'' "bright". It also occurs as a surname. Saint Hubertus or Hubert (c. 656 – 30 May 727) is the patron saint of hunters, mathematicians, opticians, and metalworkers. People with the given name Hubert This is a small selection of articles on people named Hubert; for a comprehensive list see instead . *Hubert Aaronson (1924–2005), F. Mehl University Professor at Carnegie Mellon University *Hubert Adair (1917–1940), World War II Royal Air Force pilot *Hubert Boulard, a French comics creator who is unusually credited as "Hubert" * Hubert Brasier (1917–1981), a Church of England clergyman, more famously the father of UK Prime Minister Theresa May *Hubert Buchanan (born 1941), a United States Air Force captain and fighter pilot *Hubert Chevis (1902–1931), a lieutenant in the Royal Artillery of the British Army who died of strychnine poisoning in June 1931 * Hubert Davies, British playwright and d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alan Bundy
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh,http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search. Education Alan Bundy was educated as a mathematician, obtaining an honours degree in mathematics in 1968 from the University of Leicester and a PhD in mathematical logic in 1971, also from Leicester. Career and research Since 1971, Bundy has worked at the University of Edinburgh: initially in the 'Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence, and in 1998 was absorbed into the new School of Informatics. From 1971 to 1973, he was a research fellow on Prof. B. Meltzer's Science and Engineering Research Council (SERC) grant ''Theorem Proving by Computer''; in 1973, he was ap ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Volker Weispfenning
{{disambiguation ...
Volker may refer to: * Volker (name), including a list of people with the given name or surname * Volker, Kansas City, a historic neighborhood in Kansas City * Volker Boulevard, Kansas City * ''Alien Nations'' (German: ''Die Völker''), a real-time strategy video game released in 1999 See also * VolkerWessels, a Dutch construction company ** VolkerRail, a railway infrastructure services company based in Doncaster, England, owned by VolkerWessels * Voelcker (other) * Voelker (other) Voelker is a surname. Notable people with the surname include: *Joe Voelker (Born 1987), and Mike Voelker (Born 1982), Famous brothers from Florida * Bobby Voelker (born 1979), American mixed martial artist * Christopher Voelker (born 1961), Americ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander Bockmayr
Alexander is a male given name. The most prominent bearer of the name is Alexander the Great, the king of the Ancient Greek kingdom of Macedonia who created one of the largest empires in ancient history. Variants listed here are Aleksandar, Aleksander and Aleksandr. Related names and diminutives include Iskandar, Alec, Alek, Alex, Alexandre, Aleks, Aleksa and Sander; feminine forms include Alexandra, Alexandria, and Sasha. Etymology The name ''Alexander'' originates from the (; 'defending men' or 'protector of men'). It is a compound of the verb (; 'to ward off, avert, defend') and the noun (, genitive: , ; meaning 'man'). It is an example of the widespread motif of Greek names expressing "battle-prowess", in this case the ability to withstand or push back an enemy battle line. The earliest attested form of the name, is the Mycenaean Greek feminine anthroponym , , (/Alexandra/), written in the Linear B syllabic script. Alaksandu, alternatively called ''Alakasandu'' or ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
