Search Result Save to File Save as CSV
Your search for 24106 returns 310 document(s)
A many-sorted calculus based on resolution and paramodulation
Author: Walther, Christoph; | Call Number: 511.3 Wal m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
A Dependently Type Multi-stage Calculus (53-72)
Author: Akira Kawata Atsushi Igarashi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Analysis About Achievement of e-Learning on University Calculus (123-132)
Author: Tzu-chin Chou; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic Dynamic Programming Within The Fluent Calculus (378-383)
Author: Axel Grobmann Steffen Holldebler Olga Skvortsova; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Interpreting a Reconstructed Relation Calculus: Extended Abstract (367-376)
Author: Aaron Watters; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Numerical Parameterization of Curves and Surfaces, page 251-266
Author: E. Hartmann | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Numerical methods for engineers: with programming and software applications
Author: Chapra, Steven C.; | Call Number: 511.024 6 Cha n | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Charateristic spectra of the curvature functional a numerical study in bifurcation
Author: John A. E. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
An implementation of a fourier series method for the numerical inversion of the laplace
Author: Luisa D | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   12 13 14 15 16 17 18 19 20 21  Next