Catalog

Note:

Search your articles by the first title's letter

Know More

Ini adalah Website Artikel Universitas Kristen Petra   Anda dapat mencari artikel yang diinginkan dengan website ini.

Login                  Sign Up

Username Password
.
 

Welcome to our site

Kata sambutan

.

Latest Releases & News


Says Who? -- Incorporating Source Credibility Issues into . . .
Frances L. Johnson
Stuart C. Shapiro


Proof Complexity In Algebraic Systems And Bounded Depth Frege Systems With Modular Counting
S. Buss
R. Impagliazzo
J. Krajícek
P. Pudlák
A. A. Razborov
J. Sgall


NetPDL: An Extensible XML-Based Language for Packet Header Description
Fulvio Risso
Mario Baldi


Extremal Problems for Colored Trees and Davenport-Schinzel Sequences
Martin Klazar


Automatic Image Captioning
Jia-Yu Pan
Hyung-Jeong Yang
Pinar Duygulu
Christos Faloutsos


The Guarded Fragment: Ins and Outs
Carlos Areces
Christof Monz
Hans de Nivelle
Maarten de Rijke

.