Book serie: / Книги серии: Automated Reasoning Series 4 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Automated Reasoning Series 4

book Resolution proof systems: an algebraic theory

Resolution proof systems: an algebraic theory

djvu

Author: Zbigniew Stachniak (auth.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Resolution Proof Systems: An Algebraic Theory

Resolution Proof Systems: An Algebraic Theory

pdf

Author: Zbigniew Stachniak (auth.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Automated reasoning : essays in honor of Woody Bledsoe

Automated reasoning : essays in honor of Woody Bledsoe

djvu

Author: W W Bledsoe, Robert S Boyer (ed.)
Language: English
Year: 1991

00

27.01.2024

1

0

book Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

pdf

Author: J Strother Moore
Language: English
Year: 1996

00

27.01.2024

0

0