Cargando…

Interactive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedings

Detalles Bibliográficos
Autores principales:	Urban, Christian, Zhang, Xingyuan
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756961

Ejemplares similares

Knowledge management in organizations: 10th international conference, KMO 2015, Maribor, Slovenia, August 24-28, 2015, proceedings
por: Uden, Lorna, et al.
Publicado: (2015)

Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
por: Avigad, Jeremy, et al.
Publicado: (2018)

Architecture of computing systems - ARCS 2015: 28th international conference, Porto, Portugal, March 24-27, 2015, proceedings
por: Karl, Wolfgang, et al.
Publicado: (2015)

Machine learning and intelligent communications: 4th international conference, MLICOM 2019, Nanjing, China, August 24-25, 2019, proceedings
por: Zhai, Xiangping Bryce, et al.
Publicado: (2019)

Pattern recognition: 7th Mexican conference, MCPR 2015, Mexico City, Mexico, June 24-27, 2015, proceedings
por: Carrasco-Ochoa, Jesús Ariel, et al.
Publicado: (2015)

Intelligent virtual agents: 15th international conference, IVA 2015, Delft, The Netherlands, August 26-28, 2015, proceedings
por: Brinkman, Willem-Paul, et al.
Publicado: (2015)

Computational social networks: 4th international conference, CSONET 2015, Beijing, China, August 4-6, 2015, proceedings
por: Thai, My T, et al.
Publicado: (2015)

Mathematical foundations of computer science 2015: 40th international symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, proceedings, part II
por: Italiano, Giuseppe F, et al.
Publicado: (2015)

Web reasoning and rule systems: 9th international conference, RR 2015, Berlin, Germany, August 4-5, 2015, proceedings
por: ten Cate, Balder, et al.
Publicado: (2015)

Wireless algorithms, systems, and applications: 10th international conference, WASA 2015, Qufu, China, August 10-12, 2015, proceedings
por: Xu, Kuai, et al.
Publicado: (2015)

Perspectives in business informatics research: 14th international conference, BIR 2015, Tartu, Estonia, August 26-28, 2015, proceedings
por: Matulevičius, Raimundas, et al.
Publicado: (2015)

Business process management: 13th international conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, proceedings
por: Motahari-Nezhad, Hamid Reza, et al.
Publicado: (2015)

Parallel computing technologies: 13th international conference, PACT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, proceedings
por: Malyshkin, Victor, et al.
Publicado: (2015)

20th International Conference on Theorem Proving in Higher Order Logics
Publicado: (2007)

Information security theory and practice: 9th IFIP WG 11. 2 international conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015 proceedings
por: Akram, Raja Naeem, et al.
Publicado: (2015)

Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II
por: Kroening, Daniel, et al.
Publicado: (2015)

Speech and computer: 17th international conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, proceedings
por: Ronzhin, Andrey, et al.
Publicado: (2015)

Multimedia communications, services and security: 8th international conference, MCSS 2015, Kraków, Poland, November 24, 2015 proceedings
por: Dziech, Andrzej, et al.
Publicado: (2015)

Intelligent computing theories and methodologies: 11th international conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, proceedings, part I
por: Huang, De-Shuang, et al.
Publicado: (2015)

Unconventional computation and natural computation: 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015, proceedings
por: Calude, Cristian S, et al.
Publicado: (2015)

Intelligent computing theories and methodologies: 11th international conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, proceedings, part II
por: Huang, De-Shuang, et al.
Publicado: (2015)

Algorithmic decision theory: 4th international conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, proceedings
por: Walsh, Toby
Publicado: (2015)

Social computing and social media: 7th international conference, SCSM 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings
por: Meiselwitz, Gabriele
Publicado: (2015)

Tests and proofs: 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 proceedings
por: Blanchette, Jasmin Christian, et al.
Publicado: (2015)

Progress in cryptology - LATINCRYPT 2015: 4th international conference on cryptology and information security in Latin America, Guadalajara, Mexico, August 23-26, 2015, proceedings
por: Lauter, Kristin, et al.
Publicado: (2015)

Advanced intelligent computing theories and applications: 11th international conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 proceedings, part III
por: Huang, De-Shuang, et al.
Publicado: (2015)

Hybrid artificial intelligent systems: 10th international conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, proceedings
por: Onieva, Enrique, et al.
Publicado: (2015)

Human-computer interaction: 17th international conference, HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015 proceedings, part II
por: Kurosu, Masaaki
Publicado: (2015)

Human-computer interaction: 17th international conference, HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015 proceedings, part III
por: Kurosu, Masaaki
Publicado: (2015)

Human-computer interaction: 17th international conference, HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015 proceedings, part I
por: Kurosu, Masaaki
Publicado: (2015)

Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
por: Fischer, Bernd, et al.
Publicado: (2015)

Fundamentals of computation theory: 20th international symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, proceedings
por: Kosowski, Adrian, et al.
Publicado: (2015)

Formal ontologies meet industry: 7th international workshop, FOMI 2015, Berlin, Germany, August 5, 2015, proceedings
por: Cuel, Roberta, et al.
Publicado: (2015)

Logic programming and nonmonotonic reasoning: 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 proceedings
por: Calimeri, Francesco, et al.
Publicado: (2015)

Digital human modeling: 6th international conference, DHM 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings, part II
por: Duffy, Vincent G
Publicado: (2015)

Cross-cultural design: 7th international conference, CCD 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings, part II
por: Rau, P L Patrick
Publicado: (2015)

FM 2015: 20th international symposium, Oslo, Norway, June 24-26, 2015, proceedings
por: Bjørner, Nikolaj, et al.
Publicado: (2015)

Internet of Things, smart spaces, and next generation networks and systems: 15th international conference, NEW2AN 2015, and 8th Conference, RuSMART 2015, St. Petersburg, Russia, August 26-28, 2015, proceedings
por: Balandin, Sergey, et al.
Publicado: (2015)

Advances in data mining: 15th industrial conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015 proceedings
por: Perner, Petra
Publicado: (2015)

HCI international 2015 - posters' extended abstracts: international conference, HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015 proceedings, part II
por: Stephanidis, Constantine
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_uqgamc8a7kp7f6rokdn64t14e2