Biblioteca Digital

992 resultados para AMK2-BCH-TR

TR-2003007: On the Complexity of the Reflected Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2003008: Learning and Applying Temporal Patterns through Experience

Relevância:

20.00% 20.00%

Publicador:

TR-2003009: A Hierarchical Projection Pursuit Clustering Algorithm

Relevância:

20.00% 20.00%

Publicador:

TR-2003010: A Semantic Proof of the Realizability of Modal Logic in the Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2003011: Data Modelling and Description: A Guide to Using the SYLModel Library

Relevância:

20.00% 20.00%

Publicador:

TR-2003012: A Semantics for the Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2003013: QR-Like Algorithms for Generalized Semiseparable Matrices

Relevância:

20.00% 20.00%

Publicador:

TR-2003014: A High-Performance Abstract Machine for Prolog and Its Extensions

Relevância:

20.00% 20.00%

Publicador:

TR-2003015: Two Counterexamples in the Logic of Dynamic Topological Systems

Relevância:

20.00% 20.00%

Publicador:

TR-2004001: Tableaux for the Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2004002: OOPN: An Object-Oriented Petri Nets and Its Integrated Development Environment

Relevância:

20.00% 20.00%

Publicador:

TR-2004003: Intuitionistic Logic with Classical Atoms

Relevância:

20.00% 20.00%

Publicador:

TR-2004004: Implementing and Automating Basic Number Theory in MetaPRL Proof Assistant

Relevância:

20.00% 20.00%

Publicador:

TR-2004005: A Parallel Monte Carlo Simulation of Five-Dimensional Hyperspheres Using a WebComputing Framework

Relevância:

20.00% 20.00%

Publicador:

TR-2004006: A Coordinate Ascent Approach to Tomographic Reconstruction of Label Images from a Few Projections

Relevância:

20.00% 20.00%

Publicador:

«
1
2
3
4
5
6
7
8
...
66
67
»