Search Results - "Automated reasoning" :: UTM Library Massive Scholar Tracking

1

Handbook of practical logic and automated reasoning / by 405883 Harrison, J. (John), 1966-

Published 2009
2

Automated reasoning about classical mechanics by Wong, Leon Chih Wen

Published 2007

Get full text

Thesis
3

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings / by TABLEAUX 2007 (2007 : Aix en Provence, France), Olivetti, Nicola., SpringerLink (Online service)

Published 2007

Get full text
4

Reasoning and its Applications / by Yoon, Jolyn, author 648091

Published 2012
“…The properties of logic which may be used to reason are studied in mathematical logic. The field of automated reasoning studies how reasoning may be modeled computationally. …”

Get full text

software, multimedia
5

Verification of full functional correctness for imperative linked data structures by Zee, Karen K

Published 2010

Get full text

Thesis
6

Information extraction to facilitate translation of natural language legislation by Wang, Samuel (Samuel Siyue)

Published 2011

Get full text

Thesis
7

Automated security analysis of payment protocols by Huang, Enyang

Published 2013

Get full text

Thesis
8

Modular data structure verification by Kuncak, Viktor (Viktor Jaroslav), 1977-

Published 2007

Get full text

Thesis