Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference

Name: Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference
SKU: 135779392998
Price: 68.89 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

68,89 €

Invited Talk 1. - Testing Proofs by Examples. - Session 1. - Rigid Reachability. - A Polymorphic Language Which Is Typable and Poly-step. - Cut Elimination for Classical Proofs as Continuation Passing Style Computation.

Jetzt bei Ebay:

Zum Angebot *

Format:

Paperback
Language:

English
ISBN-13:

9783540653882
Author:

Atsushi Ohori, Jieh Hsiang
Type:

NA
Book Title:

Advances in Computing Science - ASIAN'98
Publication Name:

NA
ISBN:

9783540653882

None:

International Standard : tracked-no signature (7 to 15 business days) 36,78 EUR - Lieferung zwischen 23. May 2025 und 02. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , Martinique , ... und weitere

Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference

Advances in Computing and Data Sciences: 4th International Conference, ICACDS 20

Soft Computing in Data Science: 4th International Conference, SCDS 2018, Bangkok

Advances in Computing Science ASIAN 2002: Internet Computing and Modeling, Grid

Advances in Computing and Data Science : Second International Conference, Ica...

Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conferen

Advances in Computing Science - ASIAN 2003, Programming Languages and Distribute

Advances in Computing and Data Science : Second International Conference, Ica...

Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference

Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conferen

Advances in Computing and Data Sciences: Second International Conference, ICACDS

Advances in Computing and Data Sciences: Second International Conference, ICACDS

Advances in Computing and Data Sciences : First International Conference, ICA...

Advances in Computing and Data Sciences : First International Conference, ICA...

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues: 1

Advances in Computer Science - ASIAN 2007. Computer and Network Security: 12th A

Advances in Computer Science, Information Security and Privacy: 13th Asian Compu

Advances in Computing Science - Asian 2000: 6th Asian Computing Science...

Advances in Computing Systems and Applications: Proceedings of the 4th Conferenc

Advances in Soft Computing: 9th Mexican International Conference on Artificial I

Advances in Computer Science - ASIAN 2005. Data Management on the Web: 10th Asia

Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference

Ähnliche Artikel

Advances in Computing and Data Sciences: 4th International Conference, ICACDS 20

Soft Computing in Data Science: 4th International Conference, SCDS 2018, Bangkok

Advances in Computing Science ASIAN 2002: Internet Computing and Modeling, Grid

Advances in Computing and Data Science : Second International Conference, Ica...

Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conferen

Advances in Computing Science - ASIAN 2003, Programming Languages and Distribute

Advances in Computing and Data Science : Second International Conference, Ica...

Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference

Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conferen

Advances in Computing and Data Sciences: Second International Conference, ICACDS

Advances in Computing and Data Sciences: Second International Conference, ICACDS

Advances in Computing and Data Sciences : First International Conference, ICA...

Advances in Computing and Data Sciences : First International Conference, ICA...

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues: 1

Advances in Computer Science - ASIAN 2007. Computer and Network Security: 12th A

Advances in Computer Science, Information Security and Privacy: 13th Asian Compu

Advances in Computing Science - Asian 2000: 6th Asian Computing Science...

Advances in Computing Systems and Applications: Proceedings of the 4th Conferenc

Advances in Soft Computing: 9th Mexican International Conference on Artificial I

Advances in Computer Science - ASIAN 2005. Data Management on the Web: 10th Asia

Cookie Hinweis