1

Refinements to depth-first iterative-deepening search in automatic theorem proving

Year:
1989
Language:
english
File:
PDF, 639 KB
english, 1989
12

A semantic backward chaining proof system

Year:
1992
Language:
english
File:
PDF, 967 KB
english, 1992
13

Hyperbolic polynomial uniform B-spline curves and surfaces with shape parameter

Year:
2010
Language:
english
File:
PDF, 774 KB
english, 2010
14

Non-Horn clause logic programming

Year:
1997
Language:
english
File:
PDF, 1014 KB
english, 1997
15

Knowledge-Aided Space-Time Adaptive Processing

Year:
2011
Language:
english
File:
PDF, 1.77 MB
english, 2011
16

Service-Centric Framework for a Digital Government Application

Year:
2011
Language:
english
File:
PDF, 957 KB
english, 2011
21

A Magnetic Coupling Dipole for UHF Near-Field RFID Reader

Year:
2012
Language:
english
File:
PDF, 591 KB
english, 2012
22

Boundary partial regularity for the high dimensional Navier–Stokes equations

Year:
2014
Language:
english
File:
PDF, 1.36 MB
english, 2014
45

Spectral responses of linear grating filters under full-conical incidence

Year:
2018
Language:
english
File:
PDF, 1.72 MB
english, 2018