Reset Filters
CLC: O - 数理科学和化学

Author Results for Leitsch Alexander, 1952-

Leitsch,Alexander
Leitsch,Alexander,
(Georg)
Gottlob,G.
Mundici,Daniele,
see all »
Alexander Leitsch
Baaz,Matthias
Caferra,Ricardo
Goré,Rajeev
IJCAR 2001,Siena, Italy

1
The resolution calculus

Cover is for reference only
Main Authors: Leitsch Alexander 1952-
Published: Springer,
Publication Dates: c1997.
Call Number: O141/L533/
Book
Save to List
Saved in:
2
Methods of cut-elimination

Cover is for reference only
Main Authors: Baaz Matthias.
Corporate Authors: SpringerLink (Online service)
Group Author: Leitsch Alexander, 1952-
Published: Springer,
Publication Dates: c2011.
Book
Save to List
Saved in:
3
Automated model building

Cover is for reference only
Main Authors: Caferra Ricardo
Group Author: Leitsch Alexander 1952-; Peltier Nicholas
Published: Kluwer Academic,
Publication Dates: c2004.
Call Number: O141.2/C129
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —