REBIUN - ODA

Descripción del título

Langage Pascal et logique d...

Langage Pascal et logique du premier ordre

Margenstern, Maurice

Masson 1989-1990.

Ver

Monografía

monografia Rebiun10313782 https://catalogo.rebiun.org/rebiun/record/Rebiun10313782 zu 930310m19891990fr 00110 fre d 2-225-81900-9 v. 1) 2-225-81953-X v. 2) UM0034240 UPNA0008616 UPNA O541g Pascal O215 Margenstern, Maurice Langage Pascal et logique du premier ordre Maurice Margenstern. Paris Barcelone [etc.] Masson 1989-1990. Paris Barcelone [etc.] Paris Barcelone [etc.] Masson 2 v. 2 v. Logique, mathématiques, informatique 3-4 Incluye ejercicios en cada cap. Bibliogr. Indices. Contiene: T. 1: Programmation en Pascal, Prédicats Systèmes formels, Fonctions récursives -- T. 2: Recursivité et dérécursification, Preuves et complexité d'algorithmes Pascal (Lenguaje de programación) Recursividad, Teoría de la Logique, mathématiques, informatique 3-4.

• Localizaciones: 2
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun10313782

Cerrar

monografia Rebiun10313782 https://catalogo.rebiun.org/rebiun/record/Rebiun10313782 zu 930310m19891990fr 00110 fre d 2-225-81900-9 v. 1) 2-225-81953-X v. 2) UM0034240 UPNA0008616 UPNA O541g Pascal O215 Margenstern, Maurice Langage Pascal et logique du premier ordre Maurice Margenstern. Paris Barcelone [etc.] Masson 1989-1990. Paris Barcelone [etc.] Paris Barcelone [etc.] Masson 2 v. 2 v. Logique, mathématiques, informatique 3-4 Incluye ejercicios en cada cap. Bibliogr. Indices. Contiene: T. 1: Programmation en Pascal, Prédicats Systèmes formels, Fonctions récursives -- T. 2: Recursivité et dérécursification, Preuves et complexité d'algorithmes Pascal (Lenguaje de programación) Recursividad, Teoría de la Logique, mathématiques, informatique 3-4.