•  English
    • Persian
    • English
  •   Login
  • Ferdowsi University of Mashhad
  • |
  • Information Center and Central Library
    • Persian
    • English
  • Home
  • Source Types
    • Journal Paper
    • Ebook
    • Conference Paper
    • Standard
    • Protocol
    • Thesis
  • Use Help
View Item 
  •   FUM Digital Library
  • Fum
  • Ebooks
  • Ebook
  • View Item
  •   FUM Digital Library
  • Fum
  • Ebooks
  • Ebook
  • View Item
  • All Fields
  • Title
  • Author
  • Year
  • Publisher
  • Subject
  • Publication Title
  • ISSN
  • DOI
  • ISBN
Advanced Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Thumbnail

Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Author:
Dongming Wang
Publisher:
Springer
ISBN: 3540642978,9783540642978
Language:
English
URI: http://libsearch.um.ac.ir:80/fum/handle/fum/2586305
Subject:
Education\International Conferences and Symposiums
Collections :
  • Ebook
  • Download: (2.253Mb)
  • Show Full MetaData Hide Full MetaData
  • Statistics

    Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Show full item record

contributor authorDongming Wang
date accessioned2020-04-18T14:47:05Z
date available2020-04-18T14:47:05Z
date copyright1997
identifier isbn3540642978,9783540642978
identifier other/pad-books/301000-400000/336000/5c6e010db33d5811ef533ebe32c231b8.djvu
identifier urihttp://libsearch.um.ac.ir:80/fum/handle/fum/2586305
format mimetypeapplication/djvu
languageEnglish
publisherSpringer
subjectEducation\International Conferences and Symposiums
titleAutomated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
typeEbook
contenttypeFulltext
identifier padid488478
coveragegeneral
pages242
filesize2362501
identifier linkhttps://pad.um.ac.ir/file/view/488478
description edition1
identifier ddc516/.00285
identifier lccQA448.D38 I577 1996
seriesLecture Notes in Computer Science 1360
  • About Us
نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش
DSpace software copyright © 2019-2022  DuraSpace