Zaslat SMS :: Catálogo de Recursos Digitales - Universidad de El Salvador

Přeskočit na obsah

VuFind

Přihlášení prostřednictvím instituce
- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол
- Māori

Catálogo
ProQuest

Pokročilé

Theorem-Prover-Assisted Counte...
Text This

Zaslat SMS: Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types

Číslo:

Poskytovatel:

+ (503) 2511-2000

Ciudad Universitaria "Dr. Fabio Castillo Figueroa", Final Avenida "Mártires Estudiantes del 30 de julio", San Salvador, El Salvador, América Central.

Facultades

Facultad de Ciencias Agronómicas

Facultad de Ciencias Económicas

Facultad de Ciencias Naturales y Matemática

Facultad de Ciencias y Humanidades

Facultad de Ingeniería y Arquitectura

Facultad de Jurisprudencia y Ciencias Sociales

Facultad de Medicina

Facultad Multidisciplinaria de Occidente

Facultad Multidisciplinaria de Oriente

Facultad Multidisciplinaria Paracentral

Facultad de Odontología

Facultad de Química y Farmacia

Secretarias

Secretaría General

Secretaría de Arte y Cultura

Secretaría de Asuntos Académicos

Secretaría de Comunicaciones

Secretaría de Investigaciones Científicas

Secretaría de Planificación

Secretaría de Posgrado

Secretaría de Proyección Social

Secretaría de Relaciones Nacionales e Internacionales

Instituciones

Asamblea General Universitaria

Consejo Superior Universitario

Editorial Universitaria

Librería Universitaria

Portal de Transparencia

Compras Públicas

Repositorio Institucional