Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

التفاصيل البيبلوغرافية
العنوان:	Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
المؤلفون:	Caminati, Marco B.^Aff24, Kerber, Manfred^Aff24, Lange, Christoph^{Aff24, Aff25}, Rowat, Colin^Aff26
المساهمون:	Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Kobsa, Alfred, Series editor^Aff5, Mattern, Friedemann, Series editor^Aff6, Mitchell, John C., Series editor^Aff7, Naor, Moni, Series editor^Aff8, Nierstrasz, Oscar, Series editor^Aff9, Pandu Rangan, C., Series editor^Aff10, Steffen, Bernhard, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Weikum, Gerhard, Series editor^Aff14, Goebel, Randy, editor^Aff15, Tanaka, Yuzuru, editor^Aff16, Wahlster, Wolfgang, editor^Aff17, Siekmann, Jörg, editor^Aff18, Watt, Stephen M., editor^Aff19, Davenport, James H., editor^Aff20, Sexton, Alan P., editor^Aff21, Sojka, Petr, editor^Aff22, Urban, Josef, editor^Aff23
المصدر:	Intelligent Computer Mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. 8543:236-251
قاعدة البيانات:	Springer Nature eBooks

الوصف
ردمك:	9783319084336 9783319084343
DOI:	10.1007/978-3-319-08434-3_18