skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: EZB Electronic Journals Library remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Hospital-Based Electrocardiographic Monitoring: The Good, the Not So Good, and Untapped Potential
Hospital-Based Electrocardiographic Monitoring: The Good, the Not So Good, and Untapped Potential
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Hospital-Based Electrocardiographic Monitoring: The Good, the Not So Good, and Untapped Potential

Pelter, Michele M.

American journal of critical care, 2024, Vol.33 (3), p.170-170 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry

Quaresma, Pedro ; Graziani, Pierluigi ; Nicoletti, Stefano M.

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.85-100

Texto completo disponível

Citações Citado por
3
Open Source Prover in the Attic
Open Source Prover in the Attic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Open Source Prover in the Attic

Kovács, Zoltán ; Vujic, Alexander

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.53-61

Texto completo disponível

Citações Citado por
4
3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing

Dana-Picard, Thierry ; Tejera, Matias ; Ulbrich, Eva

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.142-152

Texto completo disponível

Citações Citado por
5
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt

Käferböck, Anna ; Kovács, Zoltán

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.132-141

Texto completo disponível

Citações Citado por
6
Towards Automatic Transformations of Coq Proof Scripts
Towards Automatic Transformations of Coq Proof Scripts
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards Automatic Transformations of Coq Proof Scripts

Magaud, Nicolas

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.4-10

Texto completo disponível

Citações Citado por
7
Towards Automated Readable Proofs of Ruler and Compass Constructions
Towards Automated Readable Proofs of Ruler and Compass Constructions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards Automated Readable Proofs of Ruler and Compass Constructions

Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.11-20

Texto completo disponível

Citações Citado por
8
Using GXWeb for Theorem Proving and Mathematical Modelling
Using GXWeb for Theorem Proving and Mathematical Modelling
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using GXWeb for Theorem Proving and Mathematical Modelling

Todd, Philip ; Aley, Danny

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.38-42

Texto completo disponível

Citações Citado por
9
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery

Hota, Amela ; Kovács, Zoltán ; Vujic, Alexander

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.110-123

Texto completo disponível

Citações Citado por
10
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving

Tabet Gonzalez, Salwa ; Janičić, Predrag ; Narboux, Julien

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.21-37

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (36.377)

Data de Publicação 

De até
Refinar
  1. Antes de1989  (641)
  2. 1989Até1996  (2.714)
  3. 1997Até2004  (2.907)
  4. 2005Até2013  (4.893)
  5. Após 2013  (31.332)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (42.471)
  2. Italiano  (194)
  3. Francês  (133)
  4. Japonês  (77)
  5. Espanhol  (46)
  6. Alemão  (27)
  7. Norueguês  (4)
  8. Português  (3)
  9. Catalão  (2)
  10. Galês  (1)
  11. Sueco  (1)
  12. Árabe  (1)
  13. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.