বিবরন: Theorem Proving in Higher Order Logics :

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক:	International conference on theorem proving in higher order logics :Hampton, Va.
অন্যান্য লেখক:	Carreño, Victor A., 1956- (Publishing director), Muñoz, César (Publishing director), Tahar, Sofiène (Publishing director)
বিন্যাস:	Livre numérique
ভাষা:	Anglais
প্রকাশিত:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
মালা:	Lecture notes in computer science 2410
বিষয়গুলি:	Génie logiciel Informatique Théorèmes > Démonstration automatique Structure logique Actes de congrès
অনলাইন ব্যবহার করুন:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
টীকা:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Theorem proving in higher order logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, proceedings, Victor A. Carreño, César A. Muñoz, Sofiène Tahar, eds, Berlin, Springer, 2002, 1 vol. (X-347 p.), Lecture notes in computer science, 3-540-44039-9 • Theorem Proving in Higher Order Logics, Texte imprimé, 9783662182413

বিবরন
উপাদানের বিবরণ:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
আইসবিএন:	9783540456858 (PDF)
আইএসএসএন:	1611-3349
প্রবেশাধিকার:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017