REBIUN - ODA

Descripción del título

Langage Pascal et logique d...

Langage Pascal et logique de primier ordre.

Margenstern, Maurice

Masson 1990

Ver

Monografía

monografia Rebiun10313783 https://catalogo.rebiun.org/rebiun/record/Rebiun10313783 ta 921104s1990 fr o000 fre 222581953X oc21478478 UPVA 990000683700203706 UOV0278598 UIB (71754) FTV. fre. FTV Margenstern, Maurice Langage Pascal et logique de primier ordre. Tome 2 Recursivité et dérécursification, preuves et complexité d'algorithmes Maurice Margenstern Paris Masson 1990 Paris Paris Masson 288 p. 288 p. Logique mathématiques, informatique PASCAL (Computer program language) PASCAL (Llenguatge de programació)

• Localizaciones: 4
• 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/Rebiun10313783

Cerrar

monografia Rebiun10313783 https://catalogo.rebiun.org/rebiun/record/Rebiun10313783 ta 921104s1990 fr o000 fre 222581953X oc21478478 UPVA 990000683700203706 UOV0278598 UIB (71754) FTV. fre. FTV Margenstern, Maurice Langage Pascal et logique de primier ordre. Tome 2 Recursivité et dérécursification, preuves et complexité d'algorithmes Maurice Margenstern Paris Masson 1990 Paris Paris Masson 288 p. 288 p. Logique mathématiques, informatique PASCAL (Computer program language) PASCAL (Llenguatge de programació)