Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .8562) (2014. 20

Name: Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .8562) (2014. 20
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
SKU: 00000_00000_00000_00000
Price: 100.69 SGD
Availability: InStock

Herausgegeben von Demri, Sté/phane/ Kapur, Deepak/ Weidenbach, Christoph

100.69 SGD

会員価格

90.63

量:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

Publication Date

Aug 2014

ISBN

9783319085869

Pages

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

日本国内への配送は50.00SGD以上のご注文で無料

カート

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .8562) (2014. 20

Available to Order

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .8562) (2014. 20

Recently Viewed Items

Related Products