Saltar al contenido
VuFind
  • KB Login
    • 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
Udvidet
  • Recent progress in the Boolean...
  • Citér dette
  • Stav dette
  • Email dette
  • Udskriv
  • Eksportér post
    • Eksportér til RefWorks
    • Eksportér til EndNoteWeb
    • Eksportér til EndNote
  • Føj til favoritter
  • Enlace Permanente
Omslagsbillede

Recent progress in the Boolean domain /

Guardado en:
Bibliografiske detaljer
Andre forfattere: Steinbach, Bernd (Editor)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
Fag:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
Electronic books.
Online adgang:https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/148465
Ver en el OPAC
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
  • Beholdninger
  • Beskrivelse
  • Kommentar
  • Lignende værker
  • Medarbejdervisning

Internet

https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/148465
Ver en el OPAC

Lignende værker

  • Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
    Udgivet: (2012)
  • Proceedings of the 13th Asian Logic Conference Guangzhou, China, 16-20 September 2013 /
    Udgivet: (2015)
  • Proceedings of the 12th Asian Logic Conference Wellington, New Zealand, 15-20 December 2011 /
    Udgivet: (2013)
  • Further improvements in the Boolean domain /
    Udgivet: (2018)
  • Complicated methods of logical analysis based on simple mathematics /
    af: Kulik, Boris, et al.
    Udgivet: (2022)

+ (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