|
|
libcats.org
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '97Didier GalmicheThis book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Блоки питания для системных модулей типа IBM PC-XT/ATАвтор: Головков А. В., Автор: Любицкий В. Б.Категория: радиоэлектроника
Размер книги: 879 Kb
Citrix Access Suite 4 for Windows Server 2003: The Official GuideАвтор: Steve Kaplan, Автор: Tim Reeser, Автор: Alan Wood
Размер книги: 23.61 Mb
Hepatology: principles and practice: history, morphology, biochemistry, diagnostics, clinic, therapyАвтор: Erwin Kuntz; Hans-Dieter Kuntz
Размер книги: 28.56 Mb
Evolutionary Computation in Combinatorial Optimization, 4 conf., EvoCOP 2004Автор: Jens Gottlieb, Автор: Günther R. RaidlКатегория: CsLn_
Размер книги: 9.78 Mb
Introducing Windows 7 for DevelopersАвтор: Yochay Kiriaty, Автор: Laurence Moroney, Автор: Sasha Goldshtein, Автор: Alon Fliess
Размер книги: 8.24 Mb
Philosophy and AI: Essays at the InterfaceАвтор: Robert Cummins, Автор: John PollockКатегория: Общественные науки прочие, Философия
Размер книги: 1.81 Mb
Full of Bull: Unscramble Wall Street Doubletalk to Protect and Build Your PortfolioАвтор: Stephen T. McClellan
Размер книги: 1.62 Mb
A Good Dog the Story of Orson Who Changed My LifeАвтор: Katz JohnКатегория: fiction
Размер книги: 318 Kb
|
|
|