<<The>> changing landscape of urologic practice

Veröffentlicht 2021

Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols

von Baader, Franz
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Denotational and axiomatic definitions for path expressions

von Bērzinš, Valdis
Veröffentlicht 1977

Deciding inductive validity of equations

von Giesl, Jürgen
Veröffentlicht 2003

Determinants of export performance of firms : lessons from Indian experience

von Dholakia, Ravindra H.
Veröffentlicht in Paradigm (2007)

Geometric reasoning

Veröffentlicht in Reprinted From Artificial Intelligence Vol.37 (1988), 1-3 (1988)

Trade, technology and wage effects of the economic policy reforms on the Indian private corporate sector

von Dholakia, Ravindra H.
Veröffentlicht in The Indian journal of labour economics (1999)

Biocompatible nanomaterials for targeted and controlled delivery of biomacromolecules

von Kapoor, Deepak N.
Veröffentlicht 2013

Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; proceedings

Veröffentlicht 2008

Automated reasoning : 7th international joint conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 ; proceedings

Veröffentlicht 2014

Interpolation and Amalgamation for Arrays with MaxDiff

von Ghilardi, Silvio
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)

Automated deduction : CADE-11 ; proceedings

Veröffentlicht 1992

Automated deduction : proceedings

Veröffentlicht 1992

Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings

Veröffentlicht 2017

Dependable software engineering : theories, tools, and applications : second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings

Veröffentlicht 2016

Automated deduction : CADE-11, Saratoga Springs, NY, USA, June 15 - 18, 1992 ; proceedings

Veröffentlicht 1992

Symbolic and numerical computation for artificial intelligence : [Workshop on the Integration of Numerical and Symbolic Computing Methods, held in Saratoga Springs, New York, in...

Veröffentlicht 1992