Vista Equipo: Automated Theorem Proving :

Guardado en:

Detalles Bibliográficos
Autor principal:	Newborn, Monty, 1938-
Formato:	Livre numérique
Lenguaje:	Anglais
Publicado:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Acceso en línea:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automated Theorem Proving, Theory and Practice


LEADER	01676nam a22002897a 4500
001	955140
008	190906q2000 xxe \|\|\| \|\|\|\| 00\| 0 eng d
009	PPN238067378
020			\|a 9781461300892
024			\|a 9781461300892
041	0		\|a eng
082			\|a 004.015113
100	1		\|a Newborn, Monty, \|d 1938-
245	1	0	\|a Automated Theorem Proving : \|b Theory and Practice \|c Monty Newborn.
260			\|a Cham : \|b Springer International Publishing.
260			\|a Cham : \|b Springer Nature, \|c [20..].
500			\|a Archives Springer e-books (Licence nationale)
500			\|a Archives Springer e-books (Licence nationale)
506			\|a Accès en ligne pour les établissements français bénéficiaires des licences nationales
506			\|a Accès soumis à abonnement pour tout autre établissement
506			\|a 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
776	0		\|t Automated Theorem Proving \|o Theory and Practice
856	4		\|q PDF \|u https://doi.org/10.1007/978-1-4613-0089-2 \|z Accès sur la plateforme de l'éditeur
856	4		\|u https://revue-sommaire.istex.fr/ark:/67375/8Q1-V2LR3K2Q-Z \|z Accès sur la plateforme Istex
856	4		\|5 452349901:748090878 \|u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-1-4613-0089-2 \|z Accès Université d'Orléans
856	4		\|5 180339901:751543594 \|u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-1-4613-0089-2 \|z Accès INSA CVL
997			\|0 955140 \|1 Livre numérique \|a Ressource numérique \|b INSA \|b ENSA \|c 0/Bibliothèque numérique/ \|c 1/Bibliothèque numérique/Autre ressource numérique/