Home Profile Contact Us
Quick Link
Universitas Indonesia Perpustakaan Universitas Indonesia Fakultas Ilmu Komputer Universitas Indonesia Remote Library Universitas Indonesia
Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Advanced Search
Home
/
Search for:
Your search for 13295 returns 3893 document(s)
Proof Nets for Unit-Free Multiplicative-Additive Linear Logic, page 784-842
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Logic proof, and sets/ Marvn L. Bittinger
Author: Bittinger, Marvin L.; |
Call Number: 511.3 Bit l | Type: Buku
Find Similar Add to Favorite Open in New Tab
Linear logic in computer science
Call Number: 519.72 Lin | Type: Buku
Find Similar Add to Favorite Open in New Tab
Temporal logic for proof-carrying code, Hal. 31-46
Author: Andrew Bernard and Peter Lee; |
Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Connection-based proof search in propositional BI logic, Hal. 111-128
Author: Didier Glamiche; Daniel Mery; |
Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Information system behavior specification by high-level petri nets, page 380
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
A Proof Theory for Generic Judgments, page 749-783
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Theorem proving untuk linear logic dan implementasinya dalam prolog
Author: Satyadharma Tirtarasa; |
Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
Find Similar Add to Favorite Open in New Tab
Combining proof-search and conter-model construction for dciding godel-dummett logic, Hal....
Author: Dominique Larchey-Wendling; |
Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Specification and proof in membership equation logic (LNCS-Lecture Notes in Computer Scien...
Author: Adel Bouhoula; Jean-Pierre Jouannaud; Jose Meseguer; |
Call Number: 005.16 Bit f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   1 2 3 4 5 6 7 8 9 10  Next
Latest Collection
Nilai Penting dan Penjelasan Fitur pada Pengayaan Pendeteksian web Phising Menggunakan Pendekatan Explainable Artificial Intelligence
Type: Disertasi
Pengembangan Prototipe Game Sebagai Game Programmer di Garena
Type: Kerja Praktek (KP)
Analisis data dan Pengembangan Model Machine Learning Sebagai Data Analyst Intern di PT MSIG Life Insurance Indonesia
Type: Kerja Praktek (KP)
Frog: Framework of Open Graphrag
Type: Skripsi
Virtual Screening Kandidat Obat berbasis Machine Learning pada Database Tanaman Herbal Indonesia dengan Berbagai Strategi Feature Selection
Type: Tesis
Large Language Models: A Deep Five Bridging Theory and Practice
Type: Buku
Pengembangan Enterprise Architecture Maturity Model pada Pemerintahan Digital Berdasarkan Faktor Keberhasilannya
Type: Tesis
Model Penilaian Kesiapan Lingkungan Belajar Cerdas pada Perguruan Tinggi di Indonesia
Type: Tesis
Go-To Market Automation at Lumina
Type: Kerja Praktek (KP)
Pengembangan Group Sequential Hypothesis Testing untuk N-Sample Variant pada Sistem Eksperimentasi
Type: Kerja Praktek (KP)
Favorite
Login
Advanced Search