Arama Sonuçları - functions combining programming recursion case tools*

Şunu mu demek istediniz:
combining programming » computing programming , combines programming , mining programming
programming recursion » programming decision , programming session , programming decisions
recursion case » recursion a , recursion free , recursion g.e
case tools » case tool , based tools
functions » function , functional

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Verification, Least-Fixpoint Checking, Abstraction -- Combining Tests and Proofs -- Logics -- Propositional...”
Tam Metin Erişim

Elektronik Ekitap

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Tam Metin Erişim

Elektronik Ekitap

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt