Fundamenta Informaticae - Tom Vol. 39, Nr 1,2 (1999) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 39, Nr 1,2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

1999

Identyfikatory

Zawartość wolumenu

Vol. 39, Nr 1,2
- artykuł: A pragmatic approach to extending provers by computer algebra-with applications to coding theory (Ballarin C., Paulson L.C.), s. 1-20
- artykuł: A hybrid method for finite model search in equational (Benhamou B., Henocque L.), s. 21-38
- artykuł: Specification and integration of theorem provers and computer algebra systems (Bertoli P.G., Calmet J., Giunchiglia F., Homann K.), s. 39-57
- artykuł: On intuitionistic proof transformations, their complexity, and application to constructive program synthesis (Egly U., Schmitt S.), s. 59-83
- artykuł: Combining Clifford algebraic computing and term-rewriting for geometric theorem proving (Fevre S., Wang D.), s. 85-104
- artykuł: On quantified modal logic (Fitting M.), s. 105-121
- artykuł: On the use of subgoal clauses in bottom-up and top-down calculi (Fuchs D.), s. 123-143
- artykuł: Basic Completion with E-cycle Simplification (Lynch Ch., Scharff Ch.), s. 145-165
- artykuł: An open automated framework for constraint solver extension: the SoleX approach (Monfroy E., Ringeissen C.), s. 167-187
- artykuł: Automating inductive specification proofs (Pientka B., Kreitz Ch.), s. 189-209
- artykuł: Algorithms for rational real algebraic curves (Sendra J.R., Winkler F.), s. 211-228

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.