Skip to content
Perpustakaan Pusat
Menu
  • About Us
    • Kebijakan Mutu Perpustakaan
    • Profile
    • Services
    • Operational Hours
    • Library Rules
    • Staff
    • Trainee
    • Contact
  • Collection
    • Katalog Koleksi
    • Nationally Accredited Journals
    • E-Book
    • Open Access E-Book
    • Proceedings
    • Repository
  • Agenda & News
    • Agenda
    • News
  • Guide
  • Cooperation
    • Other Libraries Links
  • Links
    • Maranatha One
    • Catalog
  • Language: English
    • Indonesia Indonesia
    • English English
Perpustakaan Pusat > Proceeding > Direct Link

Type: Direct Link

Proceedings International Workshop on the ACL2 Theorem Prover and its Applications

Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications

Proceedings 1st International Workshop on Strategic Reasoning

Proceedings Eighth Workshop on Model-Based Testing

Proceedings 7th International Workshop on Computing with Terms and Graphs

Posts navigation

Older posts
Newer posts

Recent Posts

  • Sistem ini Bikin Catatanmu Lebih Mudah dipahami!
  • Anjangsana SMA Kristen Filadelfia ke Perpustakaan Universitas Kristen Maranatha
  • Apakah Wikipedia adalah Sumber yang bisa Kita Percaya?
  • Jadi Tahu dan Lebih Paham melalui Kelas Literasi: Penggunaan Aplikasi MyLOFT dan Turnitin Draft Coach
  • Gimana, sih, Caranya Membaca dan Mencari Nomor Panggil Buku? 

Categories

  • Akademik
  • Uncategorized
PerpustakaanPusat
Maranatha Christian University
Grha Widya Maranatha (GWM), Floor 6 & 7
Jl. Prof. drg. Surya Sumantri No. 65
Bandung - 40164, West Java, Indonesia
+62 22 - 201 2186 | 200 3450, ext. 7063
library@maranatha.edu
  • About Us
    • Profile
    • Services
    • Vision & Mission
    • Organizational Structure
    • Contact
  • Digital Collection
    • Journal
    • E-Book
    • Proceedings
  • Agenda & News
    • Agenda
    • News
  • Other
    • Guide
    • Collaboration
© 2025 Universitas Kristen Maranatha
Connect with us:
  • Facebook
  • Instagram
  • Website
  • Staff
  • Trainee
  • Open Access E-Book
  • Slide Anything Popup Preview