Skip to content
ELTEFind logo
  • Previous online catalog
  • Gimikatalógus
  • Your Account
  • Log Out
  • Login
    • English
    • magyar
  • In Library Catalogs
  • In external databases
  • In EBSCO databases
  • In Other Databases
Advanced
  • Intelligent Computer Mathemati...
  • Holdings
  • Cite this
  • Email this
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to BibTeX
    • Export to RIS
  • Save to List
  • Share this
    • facebook
    • google+
    • pinterest
    • twitter
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
QR Code
Preview
Preview
Preview

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Saved in:
Bibliographic Details
Corporate Authors:
SpringerLink (Online service)
International Conference on Intelligent Computer Mathematics10.(2017) (Edinburgh, Egyesült Királyság)
Other Authors:
Geuvers, Herman, szerk.
Special Collection:e-book
Format: Book
Language:English
Published: Cham : Springer International Publishing, 2017
Series:Lecture Notes in Artificial Intelligence ; 10383
Subjects:
Artificial intelligence.
mesterséges intelligencia
Computer science.
számítástudomány
Logic design.
Software engineering.
szoftverfejlesztés
Computer simulation.
számítógépes szimuláció
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
elektronikus könyv
Online Access:https://doi.org/10.1007/978-3-319-62075-6
Tags: Add Tag
Be the first to tag this record!
  • Holdings
  • Description
  • Comments
  • Preview
  • Similar Items
  • Staff View
  • MARC View
Login for hold and recall information

Internet

https://doi.org/10.1007/978-3-319-62075-6

Library of Fac. of Informatics

Holdings details from Library of Fac. of Informatics
Call Number: Copy: Collection: Status:
13765 13765 Non-circulating

Similar Items

  • Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
    Published: (2017)
  • Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
    Published: (2017)
  • Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
    Published: (2017)
  • Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
    Published: (2017)
  • Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
    Published: (2017)

Search Options

  • Search History
  • Advanced Search

Find More

  • Explore Channels
  • New Items

Need Help?

  • Search Tips
  • Videos
  • Ask a Librarian
  • Contact
Loading...